On a Topological Topos
From MaRDI portal
Publication:4186519
DOI10.1112/PLMS/S3-38.2.237zbMATH Open0402.18006OpenAlexW2045614673MaRDI QIDQ4186519FDOQ4186519
Publication date: 1979
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s3-38.2.237
homotopy theorytopological categoriestopological toposgeometric realization functorgros toposcolimit-preservation propertiesminimal quasitopos extensions
Topoi (18B25) Categorical methods in general topology (54B30) Sequential spaces (54D55) Homotopy theory (55P99)
Cited In (31)
- Synthetic topology in Homotopy Type Theory for probabilistic programming
- On bornologies, locales and toposes of \(M\)-sets
- A type theory for synthetic $\infty$-categories
- More exact completions that are toposes
- Title not available (Why is that?)
- Models of Type Theory Based on Moore Paths
- Title not available (Why is that?)
- INTRINSIC FUNCTIONAL ANALYSIS OF SEQUENTIAL CONVERGENCE SPACES
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- A category-theoretic approach to Boolean-valued models of set theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Axioms and (counter)examples in synthetic domain theory
- Open maps, colimits, and a convenient category of fibre spaces
- On proper and exterior sequentiality
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- The intrinsic topology of Martin-Löf universes
- Maps with discrete fibers and the origin of basepoints
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
- Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces
- The construction of \(\pi_0\) in Axiomatic Cohesion
- Sequential convergence via Galois correspondences
- Quasitopoi, logic and Heyting-valued models
- A characterization of quasi-toposes
- Regularity of the category of Kelley spaces
- On the relation between continuous and combinatorial
- Fuzzy presheaves are quasitoposes
- Parametrized spaces model locally constant homotopy sheaves
- Axioms for sequential convergence
- A tensor-hom adjunction in a topos related to vector topologies and bornologies
This page was built for publication: On a Topological Topos
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4186519)