Completeness and cocompleteness of the categories of basic pairs and concrete spaces

DOI10.1017/S0960129513000285MaRDI QIDQ5740674zbMATH OpenFDO

Authors Hajime Ishihara, Tatsuji Kawai

Publication date 27 July 2016

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

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

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Special categories (18B99)

Recommendations

• Completions, comonoids, and topological spaces
• On completeness and cocompleteness in and around small categories
• Affine sets: the structure of complete objects and duality
• A small complete category
• scientific article; zbMATH DE number 426304

Cites work

• Aspects of general topology in constructive set theory
• Compactness under constructive scrutiny
• Completions, comonoids, and topological spaces
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Inductively generated formal topologies.
• Quotient topologies in constructive set theory and type theory

Cited in

(10)

• Non-deterministic inductive definitions
• Essential completeness in categories of completely regular frames.
• Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
• Equivalents of the finitary non-deterministic inductive definitions
• Completions, comonoids, and topological spaces
• scientific article; zbMATH DE number 4138013 (Why is no real title available?)
• Completions in biaffine sets
• scientific article; zbMATH DE number 3979321 (Why is no real title available?)
• scientific article; zbMATH DE number 1274723 (Why is no real title available?)
• scientific article; zbMATH DE number 6415507 (Why is no real title available?)

This page was built for publication: Completeness and cocompleteness of the categories of basic pairs and concrete spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740674)