Order-enrichment for categories of partial maps

DOI10.1017/S0960129500001225MaRDI QIDQ4882490zbMATHFDO

Authors Marcelo P. Fiore

Publication date 21 October 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

domain theoryspecializationcategory of partial mapsaxiom of uniformitycategory of total mapscontextual approximationoperational semantics of programs

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• Categories of partial maps
• An enrichment theorem for an axiomatisation of categories of domains and continuous functions
• ``Pathologies in two syntactic categories of partial maps
• Partial map classifiers and partial cartesian closed categories

Cites work

• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• Categories of continuous functors. I
• Categories of partial maps

Cited in

(6)

• scientific article; zbMATH DE number 5051667 (Why is no real title available?)
• scientific article; zbMATH DE number 3857345 (Why is no real title available?)
• scientific article; zbMATH DE number 2070556 (Why is no real title available?)
• scientific article; zbMATH DE number 5063614 (Why is no real title available?)
• On factorisation systems for \textbf{Ord}-enriched categories and categories of partial maps
• Categories of partial maps

This page was built for publication: Order-enrichment for categories of partial maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882490)