Automorphisms of \(\Omega\)

DOI10.1007/BF02488012zbMath0392.18005OpenAlexW2324195298MaRDI QIDQ1251713

Peter T. Johnstone

Publication date: 1979

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02488012

zbMATH Keywords

AutomorphismsClosed Boolean SubtoposesSpatial ToposSubobject ClassifierSymmetric DifferenceTopos of Presheaves

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Connected limits, familial representability and Artin glueing ⋮ On some non-classical extensions of second-order intuitionistic propositional calculus

Cites Work

• Ultrafilters, ultrapowers and finiteness in a topos
• Unnamed Item

This page was built for publication: Automorphisms of \(\Omega\)