Order-enrichment for categories of partial maps

DOI10.1017/S0960129500001225zbMATH Open0848.18002MaRDI QIDQ4882490FDOQ4882490

Authors: Marcelo P. Fiore 

Publication date: 21 October 1996

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

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

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)

Cites Work

• Categories of continuous functors. I
• Title not available (Why is that?)
• Categories of partial maps

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)