An enrichment theorem for an axiomatisation of categories of domains and continuous functions

DOI10.1017/S0960129597002429zbMath0882.18008OpenAlexW2008892971MaRDI QIDQ4366772

Marcelo P. Fiore

Publication date: 12 March 1998

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

Full work available at URL: https://doi.org/10.1017/s0960129597002429

zbMATH Keywords

Cartesian closed categorydomain-theoretic categoriesenrichment theorempatch relationuniform fixed-point operators

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (1)

Domains in \(H\)

This page was built for publication: An enrichment theorem for an axiomatisation of categories of domains and continuous functions