On a Topological Topos

DOI10.1112/PLMS/S3-38.2.237MaRDI QIDQ4186519zbMATH OpenOpenAlexFDO

Authors Peter Johnstone

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

zbMATH Keywords

homotopy theorytopological categoriestopological toposgeometric realization functorgros toposcolimit-preservation propertiesminimal quasitopos extensions

Mathematics Subject Classification ID

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
• More exact completions that are toposes
• scientific article; zbMATH DE number 7229466 (Why is no real title available?)
• INTRINSIC FUNCTIONAL ANALYSIS OF SEQUENTIAL CONVERGENCE SPACES
• Models of Type Theory Based on Moore Paths
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• A category-theoretic approach to Boolean-valued models of set theory
• scientific article; zbMATH DE number 7003193 (Why is no real title available?)
• scientific article; zbMATH DE number 529898 (Why is no real title available?)
• 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
• Models of type theory based on Moore paths
• Maps with discrete fibers and the origin of basepoints
• Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces
• The construction of \(\pi_0\) in Axiomatic Cohesion
• Sequential convergence via Galois correspondences
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
• Quasitopoi, logic and Heyting-valued models
• A characterization of quasi-toposes
• Regularity of the category of Kelley spaces
• Synthetic fibered \((\infty,1)\)-category theory
• A type theory for synthetic \(\infty\)-categories
• On the relation between continuous and combinatorial
• Parametrized spaces model locally constant homotopy sheaves
• Fuzzy presheaves are quasitoposes
• 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)