On a Topological Topos

DOI10.1112/PLMS/S3-38.2.237zbMATH Open0402.18006OpenAlexW2045614673MaRDI QIDQ4186519FDOQ4186519

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
• 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)