P. Johnstone

发表

I-categories and duality

M. Fourman, M. Smyth, P. Johnstone, 1992 .

Fibrations and partial products in a 2-category

Peter T. Johnstone, P. Johnstone, 1993, Appl. Categorical Struct..

The point of pointless topology

P. Johnstone, Bernhard Banaschewski, Michael Fourman, 1983 .

Almost maximal ideals

P. Johnstone, 1984 .

REVIEWS-Sketches of an elephant: A topos theory compendium

P. Johnstone, S. Awodey, 2003 .

Sketches of an Elephant: A Topos Theory Compendium Volume 1

P. Johnstone, 2002 .

Open maps of toposes

P. Johnstone, 1980 .

Sketches of an Elephant

P. Johnstone, 2007 .

Collapsed toposes and cartesian closed varieties

Peter T. Johnstone, P. Johnstone, 1990 .

Tychonoff's theorem without the axiom of choice

P. T. Johnstone, P. Johnstone, 1981 .

Conditions related to de Morgan's law

P. T. Johnstone, P. Johnstone, 1979 .

BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (London Mathematical Society Lecture Note Series, 64)

P. T. Johnstone, P. Johnstone, 1983 .

Elements of the History of Locale Theory

P. Johnstone, 2001 .

REMARKS ON QUINTESSENTIAL AND PERSISTENT LOCALIZATIONS

P. Johnstone, 1996 .

A THEORY OF ENRICHED SKETCHES

Peter T. Johnstone, Francis Borceux, P. Johnstone, 1998 .

2003 european summer meeting of the association for symbolic logic logic colloquim'03

Michael Benedikt, Jean-Yves Girard, Stevo Todorcevic, 2004 .

Edinburgh Research Explorer The convex powerdomain in a category of posets realized by cpos

P. Johnstone, D. Pitt, Rydeheard, 2007 .

An `Unsitely" Result on Atomic Morphisms

P. Johnstone, 2000, Appl. Categorical Struct..

The frame of fibrewise closed nuclei

P. Johnstone, M. Jibladze, 1991 .

Continuous categories and exponentiable toposes

André Joyal, Peter T. Johnstone, P. Johnstone, 1982 .

Factorization theorems for geometric morphisms, I

Charles Ehresmann, P. Johnstone, Cahiers DE Topologie, 2019 .

Serre classes for toposes

P. Johnstone, M. Adelman, 1982, Bulletin of the Australian Mathematical Society.

Open letter to Ian Graham

P. Johnstone, 1988 .

Classifying toposes for first-order theories

Peter T. Johnstone, Carsten Butz, P. Johnstone, 1997 .

Fibrewise separation axioms for locales

P. Johnstone, 1990, Mathematical Proceedings of the Cambridge Philosophical Society.

Quasitoposes, Quasiadhesive Categories and Artin Glueing

Pawel Sobocinski, Stephen Lack, Peter T. Johnstone, 2007, CALCO.

Connected limits, familial representability and Artin glueing

Peter T. Johnstone, Aurelio Carboni, P. Johnstone, 1995, Mathematical Structures in Computer Science.

On a Topological Topos

Peter T. Johnstone, P. Johnstone, 1979 .

Local Maps of Toposes

Ieke Moerdijk, Peter T. Johnstone, I. Moerdijk, 1989 .

Partial products, bagdomains and hyperlocal toposes

P. T. Johnstone, Andrew M. Pitts, M. P. Fourman, 1992 .

Variations on the Bagdomain Theme

P. T. Johnstone, P. Johnstone, 1994, Theor. Comput. Sci..

Scott is not always sober

Peter T. Johnstone, P. Johnstone, 1981 .

Open locales and exponentiation

Peter T. Johnstone, P. Johnstone, 1984 .

Review: Andrej Scedrov, Forcing and Classifying Topoi

P. Johnstone, 1985, Journal of Symbolic Logic.

Algebraic theories in toposes

Peter T. Johnstone, G. C. Wraith, P. Johnstone, 1978 .

THE GLEASON COVER OF A REALIZABILITY TOPOS

Peter T. Johnstone, P. Johnstone, 2013 .

THE REFLECTIVENESS OF COVERING MORPHISMS IN ALGEBRA AND GEOMETRY

G. M. Kelly, G. Janelidze, P. Johnstone, 1997 .

Factorization theorems for geometric morphisms, II

Peter T. Johnstone, P. Johnstone, 1982 .

Injectives in Topoi, II: Connections with the axiom of choice

F. Linton, P. Johnstone, R. Paré, 1979 .

Protomodularity, descent, and semidirect products.

G. Janelidze, P. Johnstone, D. Bourn, 1998 .

Finiteness and decidability: II

P. T. Johnstone, F. E. J. Linton, F. Linton, 1978, Mathematical Proceedings of the Cambridge Philosophical Society.

Indexed Categories and Their Applications

Peter T. Johnstone, Robert Rosebrugh, Robert Paré, 1978 .

Another condition equivalent to de morgan's law

P. Johnstone, 1979 .

Adjoint Lifting Theorems for Categories of Algebras

P. T. Johnstone, P. Johnstone, 1975 .

Corrigenda for ‘Connected limits, familial representability and Artin glueing’

Peter T. Johnstone, Aurelio Carboni, P. Johnstone, 2004, Mathematical Structures in Computer Science.

Vietoris Locales and Localic Semilattices

Peter T. Johnstone, P. Johnstone, 2020, Continuous Lattices and Their Applications.

The gleason cover of a topos, II

Peter T. Johnstone, P. Johnstone, 1980 .

A syntactic approach to Diers' localizable categories

P. T. Johnstone, P. Johnstone, 1979 .

De Morgan's law and the theory of fields

P. Johnstone, Olivia Caramello, 2008, 0808.1972.

Fixpoint Objects Need Not be Ω-Discrete

P. Johnstone, 2009 .

Automorphisms of Ω

P. T. Johnstone, P. Johnstone, 1979 .

Complemented sublocales and open maps

Peter T. Johnstone, P. Johnstone, 2006, Ann. Pure Appl. Log..

Weak products and Hausdorff locales

Peter T. Johnstone, P. Johnstone, Sun Shu-Hao, 1988 .

A Constructive Theory of Uniform Locales, I: Uniform Covers

P. T. Johnstone, P. Johnstone, 2020 .

HANDBOOK OF CATEGORICAL ALGEBRA

P. Johnstone, 1996 .

Initial normal covers in bi-Heyting toposes

P. Johnstone, F. Borceux, D. Bourn, 2006 .