nLab
Peter Johnstone

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Peter T. Johnstone is a Professor of Mathematics at the University of Cambridge and works in topos theory.

Books

category: people

Revised on October 7, 2010 20:21:04 by Tim Porter (95.147.238.33)
Edit | Back in time (3 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: classifying topos, Timeline of category theory and related mathematics, category theory, sheaf and topos theory, topos, sheaf, site, finitely complete category, subobject, Grothendieck topology, Lawvere-Tierney topology, locally cartesian closed category, internal category, field, allegory, regular category, geometric morphism, locale, coherent category, adjoint functor, Elephant, algebraic theory, disjoint coproduct, Grothendieck fibration, internal logic, finite object, coverage, reflective subcategory, pro-object, torsor, specialization topology, constructive mathematics, fundamental group of a topos, Grothendieck's Galois theory, filter, compact object, nice category of spaces, base change, category of sheaves, injective object, natural numbers object, coherent logic, sequent calculus, dependent product, Andre Joyal, flat functor, geometric embedding, separated presheaf, Grothendieck construction, quasitopos, exponential ideal, point of a topos, 2009 August changes, Stone Spaces, Cartesian morphism, localic topos, simplicial sheaf, algebraic category, exponential law for spaces, reflexive coequalizer, Johnstone's topological topos, logical functor, bounded geometric morphism, Stone space, adjoint triple, preframe, theory, Stone duality, locally connected geometric morphism, etale geometric morphism, Loc, essential geometric morphism, tripos, Street fibration, Conduche functor, parametric right adjoint, locally connected topos, geometric homotopy groups in an (infinity,1)-topos, Freyd cover, Diaconescu's theorem, base topos, localic geometric morphism, hyperconnected geometric morphism, coherent coverage, indexed functor, inverter, local geometric morphism, cohesive topos, totally connected geometric morphism, category of monoids, regular logic, local site, adjoint quadruple, indexed category, Cantor-Schroeder-Bernstein theorem, Leinster2010, adjoint lifting theorem, coherent functor, Zariski site, locally ringed topos, standard site, geometric functor, Frobenius reciprocity, geometric category, dense sub-site, small-generated site, cartesian logic, syntactic site, cartesian site, categorical semantics, atomic geometric morphism, syntactic category, theory of objects, regular theory, cartesian theory, coherent topos, axiom, internal site, indexed topos, geometric transformation, locally regular category, internal sheaf, real numbers object, indexed adjoint functor theorem, stack semantics, pointless topology, diagram chasing, proper geometric morphism, open geometric morphism, cartesian closed functor, Artin gluing, Sierpinski topos, separated geometric morphism, plus construction on presheaves, sequent, morphism of sites, dependent sum, universal closure operator