Completeness and cocompleteness of the categories of basic pairs and concrete spaces
From MaRDI portal
Publication:5740674
DOI10.1017/S0960129513000285zbMath1362.03057MaRDI QIDQ5740674
Tatsuji Kawai, Hajime Ishihara
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Nonclassical and second-order set theories (03E70) Special categories (18B99) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Other constructive mathematics (03F65)
Related Items (3)
Non-deterministic inductive definitions ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Equivalents of the finitary non-deterministic inductive definitions
Cites Work
This page was built for publication: Completeness and cocompleteness of the categories of basic pairs and concrete spaces