Order-enrichment for categories of partial maps

DOI10.1017/S0960129500001225zbMath0848.18002MaRDI QIDQ4882490

Marcelo P. Fiore

Publication date: 21 October 1996

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

zbMATH Keywords

domain theorycategory of partial mapsspecializationaxiom of uniformitycategory of total mapscontextual approximationoperational semantics of programs

Mathematics Subject Classification ID

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

Related Items (1)

On factorisation systems for Ord-enriched categories and categories of partial maps

Cites Work

• Categories of partial maps
• Categories of continuous functors. I
• Unnamed Item

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