On a Topological Topos

DOI10.1112/plms/s3-38.2.237zbMath0402.18006OpenAlexW2045614673MaRDI QIDQ4186519

Peter T. 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

Related Items (29)

Quasitopoi, logic and Heyting-valued models ⋮ On the relation between continuous and combinatorial ⋮ A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ The intrinsic topology of Martin-Löf universes ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Unnamed Item ⋮ Regularity of the category of Kelley spaces ⋮ On proper and exterior sequentiality ⋮ The construction of \(\pi_0\) in Axiomatic Cohesion ⋮ Maps with discrete fibers and the origin of basepoints ⋮ Unnamed Item ⋮ A characterization of quasi-toposes ⋮ A type theory for synthetic $\infty$-categories ⋮ Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ Parametrized spaces model locally constant homotopy sheaves ⋮ Axioms for sequential convergence ⋮ Open maps, colimits, and a convenient category of fibre spaces ⋮ A category-theoretic approach to Boolean-valued models of set theory ⋮ Unnamed Item ⋮ INTRINSIC FUNCTIONAL ANALYSIS OF SEQUENTIAL CONVERGENCE SPACES ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Axioms and (counter)examples in synthetic domain theory ⋮ Models of Type Theory Based on Moore Paths ⋮ Sequential convergence via Galois correspondences ⋮ A tensor-hom adjunction in a topos related to vector topologies and bornologies ⋮ On bornologies, locales and toposes of \(M\)-sets ⋮ More exact completions that are toposes

This page was built for publication: On a Topological Topos