The S-replete construction

DOI10.1007/3-540-60164-3_22zbMath1502.68172OpenAlexW1604437707MaRDI QIDQ5057468

J. M. E. Hyland, Eugenio Moggi

Publication date: 16 December 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60164-3_22

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

A presentation of the initial lift-algebra ⋮ Domains in \(H\) ⋮ Repleteness and the associated sheaf ⋮ Completions, comonoids, and topological spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories of partial maps
• A small complete category
• Introduction to extensive and distributive categories
• Categories of continuous functors. I
• Filter spaces and continuous functionals
• Constructive natural deduction and its ‘ω-set’ interpretation