Concepedia

Topos Theory

Topos Theory is a branch of category theory that generalizes the notion of a logical universe by providing a categorical framework in which a topos, as a structured category with finite limits, power objects, and a subobject classifier, supports an internal logic that models intuitionistic type theory.

291

Publications

10.9K

Citations

271

Authors

171

Institutions

Publications per year

2017–2026

26

Parents

Publications

291

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

, , +11

Aspects of topoi

Peter Freyd · Bulletin of the Australian Mathematical Society · 1972 · 263 citations · Full text

, , +11

Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations

C. J. Isham · International Journal of Theoretical Physics · 1998 · 239 citations

, , +9

Homotopical algebraic geometry I: topos theory

Bertrand Toën, Gabriele Vezzosi · Advances in Mathematics · 2004 · 221 citations · Full text

, , +13

Locally cartesian closed categories and type theory

R. A. G. Seely · Mathematical Proceedings of the Cambridge Philosophical Society · 1984 · 196 citations

, , +12

1–5 of 291

Authors

271

  1. PJ
    Peter Johnstone

    University of Cambridge, United Kingdom

    16 publications · 619 citations

    14

    h-index

  2. IM
    Ieke Moerdijk

    Utrecht University, Netherlands

    12 publications · 391 citations

    12

    h-index

  3. CJ
    C. J. Isham

    Imperial College London, United Kingdom

    11 publications · 666 citations

    10

    h-index

  4. SA
    Steve Awodey

    Carnegie Mellon University, United States

    9 publications · 221 citations

    9

    h-index

  5. MB
    Marta Bunge

    McGill University, Canada

    8 publications · 120 citations

    8

    h-index

1–5 of 271

Institutions

171

  1. University of Cambridge

    Cambridge, United Kingdom

    15 h-index

    25 publications

    1K citations

  2. McGill University

    Montreal, Canada

    12 h-index

    19 publications

    2.6K citations

  3. Imperial College London

    London, United Kingdom

    11 h-index

    16 publications

    1.2K citations

  4. Utrecht University

    Utrecht, The Netherlands

    8 h-index

    9 publications

    370 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    8 h-index

    11 publications

    144 citations

  6. Radboud University Nijmegen

    Nijmegen, The Netherlands

    7 h-index

    14 publications

    619 citations

  7. University of Oxford

    Oxford, United Kingdom

    6 h-index

    6 publications

    138 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    5 h-index

    5 publications

    100 citations

1–8 of 171

Venues

  1. Journal of Pure and Applied Algebra

    18 publications · 497 citations

    13

    h-index

  2. 10

    h-index

  3. arXiv (Cornell University)

    Repository · 9 publications · 158 citations

    9

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 9 publications · 382 citations

    9

    h-index

  5. ArXiv.org

    Repository · 9 publications · 179 citations

    9

    h-index

1–5