+
|
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
|