Toposes without points
From MaRDI portal
Publication:1212528
DOI10.1016/0022-4049(74)90037-1zbMath0294.18009OpenAlexW2042984937MaRDI QIDQ1212528
Publication date: 1974
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(74)90037-1
Embedding theorems, universal categories (18B15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (23)
Algebraic $K$-theory and etale cohomology ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities ⋮ Constructive sheaf models of type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC ⋮ Etendues and categories with monic maps ⋮ An induction principle and pigeonhole principles for K-finite sets ⋮ A globalization of the Hahn-Banach theorem ⋮ On the homotopy theory of sheaves of simplicial groupoids ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ Classifying spaces for sheaves of simplicial groupoids ⋮ Grothendieck toposes have boolean points a new proof ⋮ GEOMETRISATION OF FIRST-ORDER LOGIC ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement ⋮ Sheaves and Boolean valued model theory ⋮ Homological Algebra in Topoi ⋮ A globalisation of the Gelfand duality theorem ⋮ Maximal ideals in countable rings, constructively ⋮ Geometric Rules in Infinitary Logic ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
Cites Work
This page was built for publication: Toposes without points
