The S-replete construction
From MaRDI portal
Publication:5057468
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
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item