Peter Johnstone

Follow

Generating author description...

All published works
Action Title Year Authors
+ A Constructive Theory of Uniform Locales, I: Uniform Covers 2020 Peter Johnstone
+ Notes on commutation of limits and colimits 2015 Marie Bjerrum
Peter Johnstone
Thomas Leinster
William F. Sawin
+ Notes on commutation of limits and colimits 2014 Marie Bjerrum
Peter Johnstone
Tom Leinster
William F. Sawin
+ What do Freyd’s Toposes Classify? 2013 Peter Johnstone
+ THE GLEASON COVER OF A REALIZABILITY TOPOS 2013 Peter Johnstone
+ GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES 2013 Peter Johnstone
+ REMARKS ON PUNCTUAL LOCAL CONNECTEDNESS 2011 Peter Johnstone
+ PDF Chat De Morgan's law and the theory of fields 2009 Olivia Caramello
Peter Johnstone
+ Fixpoint Objects Need Not be Ω-Discrete 2009 Peter Johnstone
+ De Morgan's law and the theory of fields 2008 Olivia Caramello
Peter Johnstone
+ On embedding categories in groupoids 2008 Peter Johnstone
+ Quasitoposes, Quasiadhesive Categories and Artin Glueing 2007 Peter Johnstone
Stephen Lack
Paweł Sobociński
+ Quasitoposes, quasiadhesive categories and Artin glueing 2007 Peter Johnstone
Stephen Lack
Paweł Sobociński
+ Initial normal covers in bi-Heyting toposes 2006 Francis Borceux
Dominique Bourn
Peter Johnstone
+ Complemented sublocales and open maps 2005 Peter Johnstone
+ Corrigenda for Connected limits, familial representability and Artin glueing 2004 A. Carboni
Peter Johnstone
+ Aspects Of Finiteness 2002 Peter Johnstone
+ Toposes - Basic Theory 2002 Peter Johnstone
+ BTOP/S AS A 2-Category 2002 Peter Johnstone
+ Indexed Categories And Fibrations 2002 Peter Johnstone
+ Regular and Cartesia’s Closed Categories 2002 Peter Johnstone
+ Toposes Over A Base 2002 Peter Johnstone
+ Internal And Locally Internal Categories 2002 Peter Johnstone
+ Local Compactness And Exponentiability 2002 Peter Johnstone
+ Sheaves On A Locale 2002 Peter Johnstone
+ Toposes As Groupoids 2002 Peter Johnstone
+ Classes Of Geometric Morphisms 2002 Peter Johnstone
+ D3 2002 Peter Johnstone
+ On the structure of categories of coalgebras 2001 Peter Johnstone
John Power
Tōru Tsujishita
Hiroshi Watanabe
James Worrell
+ Elements of the History of Locale Theory 2001 Peter Johnstone
+ An ‘Unsitely’ Result on Atomic Morphisms 2000 Peter Johnstone
+ None 2000 Peter Johnstone
+ A note on discrete Conduché fibrations. 1999 Peter Johnstone
+ AN OTE ON DISCRETE CONDUCH ´ E FIBRATIONS 1999 Peter Johnstone
Ieke Moerdijk
+ Classifying toposes for first-order theories 1998 Carsten Butz
Peter Johnstone
+ Protomodularity, descent, and semidirect products. 1998 Dominique Bourn
George Janelidze
Peter Johnstone
+ A THEORY OF ENRICHED SKETCHES 1998 Francis Borceux
Carmen Quinteiro
Peter Johnstone
+ Finitary sketches 1997 Jiřı́ Adámek
Peter Johnstone
Johann A. Makowsky
Jiřı́ Rosický
+ Cartesian monads on toposes 1997 Peter Johnstone
+ PDF Chat Classifying Toposes for First Order Theories 1997 Carsten Butz
Peter Johnstone
+ THE REFLECTIVENESS OF COVERING MORPHISMS IN ALGEBRA AND GEOMETRY 1997 George Janelidze
G. M. Kelly
Peter Johnstone
+ Connected limits, familial representability and Artin glueing 1995 A. Carboni
Peter Johnstone
+ L 1995 Henk Barendregt
Igor V. Dolgachev
G. Rozenberg
A. Salomaa
А. П. Солдатов
A. F. Leont’ev
V. F. Emel’yanov
Igor Egorov
Н. Х. Розов
V. Rumyantsev
+ Variations on the bagdomain theme 1994 Peter Johnstone
+ Fibrations and partial products in a 2-category 1993 Peter Johnstone
+ Partial products, bagdomains and hyperlocal toposes 1992 Peter Johnstone
+ Applications of Categories in Computer Science 1992 Michael Fourman
Michael Fourman
Simon J. Brookes
J.R.B. Cockett
Pierre-Louis Curien
Peter Freyd
Peter Freyd
Bonnie F. Jacobs
Christopher Jay
G. M. Kelly
+ The ‘closed subgroup theorem’ for localic herds and pregroupoids 1991 Peter Johnstone
+ Preframe presentations present 1991 Peter Johnstone
Steven Vickers
+ The frame of fibrewise closed nuclei 1991 Mamuka Jibladze
Peter Johnstone
+ Fibrewise separation axioms for locales 1990 Peter Johnstone
+ Collapsed toposes and cartesian closed varieties 1990 Peter Johnstone
+ Affine categories and naturally Mal'cev categories 1989 Peter Johnstone
+ A topos-theorist looks at dilators 1989 Peter Johnstone
+ Local Maps of Toposes 1989 Peter Johnstone
Ieke Moerdijk
+ A constructive “Closed subgroup theorem” for localic groups and groupoids 1989 Peter Johnstone
+ Weak products and Hausdorff locales 1988 Peter Johnstone
Shu-Hao Sun
+ A simple proof that localic subgroups are closed 1988 Peter Johnstone
+ Zermelo–Fraenkel set theory 1987 Peter Johnstone
+ Cardinal arithmetic 1987 Peter Johnstone
+ TOPOSES, TRIPLES AND THEORIES (Grundlehren der mathematischen Wissenschaften 278) 1986 Peter Johnstone
+ Andrej Ščedrov. Forcing and classifying topoi. Memoirs of the American Mathematical Society, no. 295. American Mathematical Society, Providence1984, x + 93 pp. 1985 Peter Johnstone
+ When is a variety a topos? 1985 Peter Johnstone
+ How general is a generalized space? 1985 Peter Johnstone
+ Quotients of decidable objects in a topos 1983 Peter Johnstone
+ PDF Chat The point of pointless topology 1983 Peter Johnstone
+ BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (London Mathematical Society Lecture Note Series, 64) 1983 Peter Johnstone
+ Continuous categories and exponentiable toposes 1982 Peter Johnstone
André Joyal
+ SYNTHETIC DIFFERENTIAL GEOMETRY (London Mathematical Society Lecture Note Series, 51) 1982 Peter Johnstone
+ PDF Chat Serre classes for toposes 1982 Murray Adelman
Peter Johnstone
+ Factorization theorems for geometric morphisms, II 1982 Peter Johnstone
+ The gleason cover of a topos, II 1981 Peter Johnstone
+ PDF Chat Tychonoff's theorem without the axiom of choice 1981 Peter Johnstone
+ Injective toposes 1981 Peter Johnstone
+ Scott is not always sober 1981 Peter Johnstone
+ The gleason cover of a topos, I 1980 Peter Johnstone
+ Tripos theory 1980 J. M. E. Hyland
Peter Johnstone
Andrew M. Pitts
+ Open maps of toposes 1980 Peter Johnstone
+ Automorphisms of Ω 1979 Peter Johnstone
+ On a Topological Topos 1979 Peter Johnstone
+ Another condition equivalent to de morgan's law 1979 Peter Johnstone
+ Conditions related to de Morgan's law 1979 Peter Johnstone
+ Injectives in Topoi, II: Connections with the axiom of choice 1979 Peter Johnstone
F. E. J. Linton
Robert Paré
+ Finiteness and decidability: II 1978 Peter Johnstone
F. E. J. Linton
+ PDF Chat Indexed Categories and Their Applications 1978 Peter Johnstone
Robert Paré
Robert Rosebrugh
Dietmar Schumacher
Richard J. Wood
G. C. Wraith
+ Algebraic theories in toposes 1978 Peter Johnstone
G. C. Wraith
+ Rings, fields, and spectra 1977 Peter Johnstone
+ Adjoint Lifting Theorems for Categories of Algebras 1975 Peter Johnstone
+ The associated sheaf functor in an elementary topos 1974 Peter Johnstone
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat An extension of the Galois theory of Grothendieck 1984 André Joyal
Myles Tierney
10
+ Conditions related to de Morgan's law 1979 Peter Johnstone
10
+ The gleason cover of a topos, I 1980 Peter Johnstone
10
+ Algebraic theories in toposes 1978 Peter Johnstone
G. C. Wraith
9
+ The gleason cover of a topos, II 1981 Peter Johnstone
8
+ Open maps of toposes 1980 Peter Johnstone
7
+ Factorization theorems for geometric morphisms, II 1982 Peter Johnstone
6
+ PDF Chat Tychonoff's theorem without the axiom of choice 1981 Peter Johnstone
6
+ Finiteness and decidability: II 1978 Peter Johnstone
F. E. J. Linton
5
+ PDF Chat Categories for the Working Mathematician 1971 Saunders Mac Lane
5
+ PDF Chat Prime ideal structure in commutative rings 1969 M. Hochster
5
+ Change of base for toposes with generators 1975 Radu Diaconescu
4
+ Lectures on elementary topoi 1975 G. C. Wraith
4
+ Universal projective geometry via topos theory 1976 Anders Kock
4
+ PDF Chat The Duality of Distributive Continuous Lattices 1980 Bernhard Banaschewski
4
+ PDF Chat Toposes, Algebraic Geometry and Logic 1972 Ionel Bucur
Jean Giraud
Noah D. Goodman
John Myhill
Luc Illusie
J. Lambek
Dana Scott
Marie Tierney
4
+ Coequalizers in categories of algebras 1969 F. E. J. Linton
4
+ PDF Chat Indexed Categories and Their Applications 1978 Peter Johnstone
Robert Paré
Robert Rosebrugh
Dietmar Schumacher
Richard J. Wood
G. C. Wraith
4
+ Local Maps of Toposes 1989 Peter Johnstone
Ieke Moerdijk
4
+ Exponentiable morphisms, partial products and pullback complements 1987 Roy Dyckhoff
Walter Tholen
4
+ Lattice theoretic and logical aspects of elementary topoi 1976 Christian Juul Mikkelsen
4
+ A constructive “Closed subgroup theorem” for localic groups and groupoids 1989 Peter Johnstone
4
+ Connected limits, familial representability and Artin glueing 1995 A. Carboni
Peter Johnstone
4
+ PDF Chat The point of pointless topology 1983 Peter Johnstone
3
+ The frame of fibrewise closed nuclei 1991 Mamuka Jibladze
Peter Johnstone
3
+ Forcing Topologies and Classifying Topoi 1976 Myles Tierney
3
+ Pullback preserving functors 1991 Robert Rosebrugh
Richard J. Wood
3
+ Algebra, topology, and category theory: A collection of papers in honor of Samuel Eilenberg 1976 Alex Heller
Myles Tierney
Samuel Eilenberg
3
+ H-closed and extremally disconnected Hausdorff spaces 1969 J. Mioduszewski
L. Rudolf
3
+ PDF Chat Product spaces in locales 1981 John Isbell
3
+ PDF Chat Théorie des Topos et Cohomologie Etale des Schémas 1972 Alexandre Grothendieck
J. L. Verdier
3
+ Adjoint Lifting Theorems for Categories of Algebras 1975 Peter Johnstone
3
+ Boolean classifying topoi 1983 Andreas Blass
Andre Scedrov
3
+ Sheaves in Geometry and Logic 1994 Saunders Mac Lane
Ieke Moerdijk
3
+ Automorphisms of Ω 1979 Peter Johnstone
3
+ The duality of distributive σ-continuous lattices 1981 Bernhard Banaschewski
3
+ Function spaces in the category of locales 1981 J. M. E. Hyland
3
+ Some topos theoretic concepts of finiteness 1975 Anders Kock
P. Lecouturier
Chr. Juul Mikkelsen
3
+ Partial products, bagdomains and hyperlocal toposes 1992 Peter Johnstone
3
+ Another condition equivalent to de morgan's law 1979 Peter Johnstone
3
+ On clubs and data-type constructors 1992 G. M. Kelly
3
+ Sheaves and logic 1979 Michael Fourman
Dana Scott
3
+ Abstract families and the adjoint functor theorems 1978 Robert Paré
Dietmar Schumacher
3
+ On the Structure of Abstract Algebras 1935 Garrett Birkhoff
2
+ The Hahn-Banach theorem in a category of sheaves 1980 Charles W. Burden
2
+ Categories of affine spaces 1989 A. Carboni
2
+ Continuous categories and exponentiable toposes 1982 Peter Johnstone
André Joyal
2
+ Affine categories and naturally Mal'cev categories 1989 Peter Johnstone
2
+ Facets of descent, I 1994 George Janelidze
Walter Tholen
2
+ Groupes D'Homotopie Et Classes De Groupes Abeliens 1953 Jean-Pierre Serre
2