The following pages link to Peter T. Johnstone (Q702196):
Displaying 50 items.
- A completeness theorem for open maps (Q1338199) (← links)
- Variants of openness (Q1338774) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Variations on the bagdomain theme (Q1349648) (← links)
- Topological spaces and quasi-varieties (Q1364911) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Classifying toposes for first-order theories (Q1382183) (← links)
- \(\alpha\)-Specker spaces (Q1398191) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Cantor diagrams: a unifying discussion of self-reference (Q1404250) (← links)
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics (Q1405891) (← links)
- van Kampen theorems for toposes (Q1413097) (← links)
- Ring theory and pointfree topology. (Q1426502) (← links)
- Ideal models of spaces. (Q1427784) (← links)
- Localic sup-lattices and tropological systems. (Q1427786) (← links)
- Some points in formal topology. (Q1427787) (← links)
- More existence theorems for recursion categories. (Q1428035) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- Exponentiability and single universes (Q1568745) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
- The petit topos of globular sets (Q1588081) (← links)
- More exact completions that are toposes (Q1602851) (← links)
- Cartesian logic (Q1605480) (← links)
- Functoriality of modified realizability (Q1683375) (← links)
- Ultrapowers as sheaves on a category of ultrafilters (Q1762726) (← links)
- Linear extensions and nilpotence of Maltsev theories (Q1770343) (← links)
- About Stone's notion of spectrum (Q1772250) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
- A uniform view of localic realcompactness (Q1818627) (← links)
- Linearly distributive functors (Q1818630) (← links)
- Change of base for locally internal categories (Q1824681) (← links)
- Affine categories and naturally Mal'cev categories (Q1824683) (← links)
- An essay on noncommutative topology (Q1824885) (← links)
- Central extensions and internal groupoids in Maltsev categories (Q1840479) (← links)
- An `unsitely' result on atomic morphisms (Q1840717) (← links)
- Quotient maps of locales (Q1840718) (← links)
- Extension by continuity in pointfree topology (Q1840750) (← links)
- The associated sheaf functor in an elementary topos (Q1845804) (← links)
- Relative and modified relative realizability (Q1849865) (← links)
- The Michael completion of a topos spread (Q1850095) (← links)
- Localic Galois theory (Q1873770) (← links)
- Protomodular aspect of the dual of a topos (Q1877878) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Why tricategories? (Q1898465) (← links)
- Cosheaves and distributions on toposes (Q1905995) (← links)
- Regularity of the category of Kelley spaces (Q1909229) (← links)
- The symmetric topos (Q1910730) (← links)
- Avoiding the axiom of choice in general category theory (Q1917386) (← links)