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

DOI10.1017/S0960129513000285zbMATH Open1362.03057MaRDI QIDQ5740674FDOQ5740674

Authors: Hajime Ishihara, Tatsuji Kawai 

Publication date: 27 July 2016

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Inductively generated formal topologies.
• Aspects of general topology in constructive set theory
• Compactness under constructive scrutiny
• Completions, comonoids, and topological spaces
• Quotient topologies in constructive set theory and type theory

Cited In (10)

• Title not available (Why is that?)
• Equivalents of the finitary non-deterministic inductive definitions
• Title not available (Why is that?)
• Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
• Completions in biaffine sets
• Title not available (Why is that?)
• Essential completeness in categories of completely regular frames.
• Non-deterministic inductive definitions
• Completions, comonoids, and topological spaces
• Title not available (Why is that?)

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)