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

colimit-preservation propertiesgeometric realization functorgros toposhomotopy theoryminimal quasitopos extensionstopological categoriestopological topos

Mathematics Subject Classification ID

Topoi (18B25) Categorical methods in general topology (54B30) Sequential spaces (54D55) Homotopy theory (55P99)

Cited in

(34)

• Sequential convergence via Galois correspondences
• Quasitopoi, logic and Heyting-valued models
• A characterization of quasi-toposes
• Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces
• Axioms and (counter)examples in synthetic domain theory
• A tensor-hom adjunction in a topos related to vector topologies and bornologies
• More exact completions that are toposes
• The construction of \(\pi_0\) in Axiomatic Cohesion
• On bornologies, locales and toposes of \(M\)-sets
• Regularity of the category of Kelley spaces
• Open maps, colimits, and a convenient category of fibre spaces
• On the relation between continuous and combinatorial
• Parametrized spaces model locally constant homotopy sheaves
• Axioms for sequential convergence
• Maps with discrete fibers and the origin of basepoints
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• The intrinsic topology of Martin-Löf universes
• A type theory for synthetic -categories
• scientific article; zbMATH DE number 7229466 (Why is no real title available?)
• scientific article; zbMATH DE number 529898 (Why is no real title available?)
• scientific article; zbMATH DE number 7003193 (Why is no real title available?)
• Models of type theory based on Moore paths
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• INTRINSIC FUNCTIONAL ANALYSIS OF SEQUENTIAL CONVERGENCE SPACES
• Synthetic topology in Homotopy Type Theory for probabilistic programming
• Models of Type Theory Based on Moore Paths
• A category-theoretic approach to Boolean-valued models of set theory
• On proper and exterior sequentiality
• Synthetic fibered (,1)-category theory
• Fuzzy presheaves are quasitoposes
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
• Semantics of multimodal adjoint type theory
• First-order homotopical logic
• Uniform Elgot iteration in foundations

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)