The following pages link to Peter T. Johnstone (Q702196):
Displaying 50 items.
- What do Freyd's toposes classify? (Q382418) (← links)
- (Q587019) (redirect page) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Localic Priestley duality (Q678827) (← links)
- Cartesian monads on toposes (Q678846) (← links)
- Non-pointed strongly protomodular theories (Q702197) (← links)
- Free quantaloids (Q805732) (← links)
- The ``closed subgroup theorem'' for localic herds and pregroupoids (Q807737) (← links)
- On dissolute spaces (Q810912) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- On ideal closure operators of \(M\)-sets (Q874850) (← links)
- Collapsed toposes and cartesian closed varieties (Q910487) (← links)
- A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← links)
- De Morgan's law and the theory of fields (Q1034092) (← links)
- Prime elements from prime ideals (Q1065041) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- Functions on universal algebras (Q1076129) (← links)
- When is a variety a topos ? (Q1080512) (← links)
- All topoi are localic or why permutation models prevail (Q1087632) (← links)
- Some modifications of Scott's theorem on injective spaces (Q1088182) (← links)
- Multiplicative lattices and frames (Q1091409) (← links)
- On right adjoints to exponential functors (Q1094522) (← links)
- Subobject classifier for algebraic structures (Q1097957) (← links)
- On the congruence lattice of a frame (Q1098867) (← links)
- Dedekind finiteness in topoi (Q1105020) (← links)
- Ideals of closed categories (Q1105688) (← links)
- A small complete category (Q1112159) (← links)
- Toposes and intuitionistic theories of types (Q1115435) (← links)
- Abelian groups in a topos of sheaves: Torsion and essential extensions (Q1115517) (← links)
- A topos-theorist looks at dilators (Q1121978) (← links)
- Inverse limits in the category of locales (Q1128126) (← links)
- Open maps of toposes (Q1139120) (← links)
- The Gleason cover of a topos. I (Q1145204) (← links)
- The Gleason cover of a topos. II (Q1145205) (← links)
- Continuous categories and exponentiable toposes (Q1165305) (← links)
- Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038) (← links)
- Quantifiers on distributive lattices (Q1185078) (← links)
- Preservation of topological properties under exponentiation (Q1206524) (← links)
- (Q1243768) (redirect page) (← links)
- Rings, fields, and spectra (Q1243769) (← links)
- A note on complete semilattices (Q1247341) (← links)
- Automorphisms of \(\Omega\) (Q1251713) (← links)
- Categorical logic and type theory (Q1279608) (← links)
- A criterion for the existence of subobject classifiers (Q1288006) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Repleteness and the associated sheaf (Q1295499) (← links)
- The subobject classifier of the category of functional bisimulations (Q1301354) (← links)
- Proper maps of locales (Q1318788) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- Separation axioms and frame representation of some topological facts (Q1330918) (← links)
