A Visual Presentation of Rank-Ordered Sets

Year: 1998 Authors: Mara Alagić

Core claim

Rank-ordered sets with rank-preserving and rank-increasing functions form a cartesian closed categorical framework useful for interpreting programming entities.

Topics

category theory, rank-ordered sets, partial equivalence relations, cartesian closed category

Domains

category theory, order theory, domain theory, scientific visualization

Methods

categorical abstraction, inverse-limit construction, diagrammatic proof, definition-driven exposition

Media

commutative diagrams, set-theoretic notation, category diagrams

Source status

This page publishes metadata and extracted analytical signals only. Raw PDF and full OCR text are kept local for now.