Peter Johnstone
#38,151
Most Influential Person Now
Mathematician
Peter Johnstone 's AcademicInfluence.com Rankings
Peter Johnstone mathematics Degrees
Mathematics
#2210
World Rank
#3449
Historical Rank
Group Theory
#167
World Rank
#198
Historical Rank
Algebra
#284
World Rank
#404
Historical Rank
Measure Theory
#2665
World Rank
#3187
Historical Rank
Download Badge
Mathematics
Peter Johnstone 's Degrees
- Masters Mathematics University of Oxford
Why Is Peter Johnstone Influential?
(Suggest an Edit or Addition)According to Wikipedia, Peter Tennant Johnstone is Professor of the Foundations of Mathematics at the University of Cambridge, and a fellow of St. John's College. He invented or developed a broad range of fundamental ideas in topos theory. His thesis, completed at the University of Cambridge in 1974, was entitled "Some Aspects of Internal Category Theory in an Elementary Topos".
Peter Johnstone 's Published Works
Published Works
- Sketches of an Elephant: A Topos Theory Compendium Volume 1 (2002) (846)
- REVIEWS-Sketches of an elephant: A topos theory compendium (2003) (358)
- BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (London Mathematical Society Lecture Note Series, 64) (1983) (221)
- The point of pointless topology (1983) (198)
- Sketches of an Elephant (2007) (151)
- Adjoint Lifting Theorems for Categories of Algebras (1975) (130)
- Connected limits, familial representability and Artin glueing (1995) (111)
- Protomodularity, descent, and semidirect products. (1998) (111)
- Scott is not always sober (1981) (91)
- On a Topological Topos (1979) (80)
- Notes on logic and set theory (1987) (75)
- Continuous categories and exponentiable toposes (1982) (71)
- Tychonoff's theorem without the axiom of choice (1981) (70)
- Affine categories and naturally Mal'cev categories (1989) (66)
- Open locales and exponentiation (1984) (57)
- Conditions related to de Morgan's law (1979) (56)
- Open maps of toposes (1980) (55)
- On the structure of categories of coalgebras (2001) (53)
- Factorization theorems for geometric morphisms, II (1982) (50)
- The gleason cover of a topos, II (1980) (46)
- Algebraic theories in toposes (1978) (46)
- Local Maps of Toposes (1989) (41)
- Quasitoposes, Quasiadhesive Categories and Artin Glueing (2007) (35)
- THE REFLECTIVENESS OF COVERING MORPHISMS IN ALGEBRA AND GEOMETRY (1997) (34)
- Classifying Toposes for First-Order Theories (1997) (32)
- Rings, fields, and spectra (1977) (32)
- A constructive “Closed subgroup theorem” for localic groups and groupoids (1989) (29)
- Preframe presentations present (1991) (29)
- Partial products, bagdomains and hyperlocal toposes (1992) (29)
- The ‘closed subgroup theorem’ for localic herds and pregroupoids (1991) (28)
- Fibrations and partial products in a 2-category (1993) (27)
- SYNTHETIC DIFFERENTIAL GEOMETRY (London Mathematical Society Lecture Note Series, 51) (1982) (27)
- Almost maximal ideals (1984) (25)
- A syntactic approach to Diers' localizable categories (1979) (24)
- Indexed Categories and Their Applications (1978) (23)
- TOPOSES AND LOCAL SET THEORIES: AN INTRODUCTION (Oxford Logic Guides 14) (1990) (23)
- REMARKS ON PUNCTUAL LOCAL CONNECTEDNESS (2011) (22)
- A THEORY OF ENRICHED SKETCHES (1998) (22)
- Finiteness and decidability: II (1978) (21)
- A note on discrete Conduché fibrations. (1999) (20)
- An axiomatics for categories of transition systems as coalgebras (1998) (17)
- Corrigenda for ‘Connected limits, familial representability and Artin glueing’ (2004) (16)
- Quotients of decidable objects in a topos (1983) (16)
- Cartesian monads on toposes (1997) (15)
- Collapsed toposes and cartesian closed varieties (1990) (15)
- Weak products and Hausdorff locales (1988) (14)
- How general is a generalized space (1985) (14)
- Factorization theorems for geometric morphisms, I (2019) (14)
- GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES (2013) (13)
- I-categories and duality (1992) (13)
- Vietoris Locales and Localic Semilattices (2020) (13)
- Another condition equivalent to de morgan's law (1979) (11)
- Open letter to Ian Graham (1988) (11)
- Complemented sublocales and open maps (2006) (10)
- Variations on the Bagdomain Theme (1994) (10)
- De Morgan's law and the theory of fields (2008) (10)
- Fibrewise separation axioms for locales (1990) (9)
- THE GLEASON COVER OF A REALIZABILITY TOPOS (2013) (8)
- The frame of fibrewise closed nuclei (1991) (8)
- Initial normal covers in bi-Heyting toposes (2006) (8)
- Elements of the History of Locale Theory (2001) (8)
- Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991 (1992) (8)
- A simple proof that localic subgroups are closed (1988) (8)
- The associated sheaf functor in an elementary topos (1974) (8)
- Finitary sketches (1997) (8)
- A topos-theorist looks at dilators☆ (1989) (7)
- Non‐Hausdorff topology and domain theory: selected topics in point‐set topology (New Mathematical Monographs 22) BY Jean Goubault‐Larrecq (2015) (7)
- On embedding categories in groupoids (2008) (6)
- Serre classes for toposes (1982) (5)
- Automorphisms of Ω (1979) (5)
- A note on inequivalence of realizability toposes (1989) (4)
- A note on complete semilattices (1978) (4)
- Two notes on nuclei (1990) (3)
- Notes on commutation of limits and colimits (2014) (3)
- A Constructive Theory of Uniform Locales, I: Uniform Covers (2020) (2)
- Internal categories and classification theorems (1975) (2)
- Injectives in Topoi, II: Connections with the axiom of choice (1979) (2)
- Notes on logic and set theory: Cardinal arithmetic (1987) (1)
- Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly (2011) (1)
- REMARKS ON QUINTESSENTIAL AND PERSISTENT LOCALIZATIONS (1996) (1)
- Edinburgh Research Explorer The convex powerdomain in a category of posets realized by cpos (2007) (1)
- ‘Fuzzy’ should not be ‘sloppy’ (1989) (1)
- HANDBOOK OF CATEGORICAL ALGEBRA (1996) (1)
- Applications of Categories in Computer Science: Miscellaneous Frontmatter (1992) (0)
- On the structure ofcategories ofcoalgebras (2001) (0)
- Functoriality of modified realizability (2017) (0)
- What do Freyd’s Toposes Classify? (2013) (0)
- Fixpoint Objects Need Not be Ω-Discrete (2009) (0)
- ON COMMUTATION OF LIMITS AND COLIMITS (2015) (0)
- Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (1995) (0)
- Notes on logic and set theory: Ordinals and well-orderings (1987) (0)
- Notes on logic and set theory: Recursive functions (1987) (0)
- AN OTE ON DISCRETE CONDUCH ´ E FIBRATIONS (1999) (0)
- Review: Andrej Scedrov, Forcing and Classifying Topoi (1985) (0)
- What do Freyd’s Toposes Classify? (2013) (0)
- Consistency and independence (1987) (0)
- Applications of Categories in Computer Science: Preface (1992) (0)
- Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp. (2010) (0)
- 2003 european summer meeting of the association for symbolic logic logic colloquim'03 (2004) (0)
- Proceedings of the 6th International Conference on Category Theory and Computer Science (1995) (0)
- LECTURE NOTES ON TOPOI AND QUASITOPOI (1992) (0)
- Notes on logic and set theory: Universal algebra (1987) (0)
- Applications of Categories in Computer Science: Frontmatter (1992) (0)
- Notes on logic and set theory: Zermelo–Fraenkel set theory (1987) (0)
- First-order theories (1987) (0)
- Notes on logic and set theory: The axiom of choice (1987) (0)
- Review: Jonathan S. Golan and Harold Simmons, Derivatives, nuclei and dimensions on the frame of torsion theories (1990) (0)
- Notes on logic and set theory: Propositional calculus (1987) (0)
- Category Theory (2019) (0)
- Review: Steven Vickers, Topology via Logic (1991) (0)
- An `Unsitely" Result on Atomic Morphisms (2000) (0)
This paper list is powered by the following services:
Other Resources About Peter Johnstone
What Schools Are Affiliated With Peter Johnstone ?
Peter Johnstone is affiliated with the following schools: