Concepedia

Category-theoretic Foundations

Category-Theoretic Foundations is a foundational framework in mathematics that uses category theory as the primary language and structural paradigm to formalize and unify mathematical concepts, distinguishing itself from set-theoretic and type-theoretic foundations by emphasizing morphisms, functors, and universal properties over membership and syntax.

563

Publications

35.4K

Citations

583

Authors

301

Institutions

Publications per year

2017–2026

66

Parents

Publications

563

Basic objects in natural categories

Eleanor Rosch, Carolyn Β. Mervis, Wayne D. Gray et al. · Cognitive Psychology · 1976 · 5.5K citations

, , +12

Abstract and Concrete Categories.

Gabriele Castellini, Horst Herrlich, G. E. Strecker · American Mathematical Monthly · 1991 · 1.4K citations

, , +11

CATEGORIES FOR THE WORKING MATHEMATICIAN

A. Bowtell · Bulletin of the London Mathematical Society · 1974 · 1.3K citations

, , +7

Introduction to Higher Order Categorical Logic.

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

, , +11

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

F. William Lawvere · Proceedings of the National Academy of Sciences · 1963 · 1.1K citations · Full text

, , +12

1–5 of 563

Authors

583

  1. TL
    Tom Leinster

    University of Glasgow, United Kingdom

    11 publications · 436 citations

    11

    h-index

  2. JP
    John Power

    University of Edinburgh, United Kingdom

    11 publications · 377 citations

    11

    h-index

  3. SA
    Steve Awodey

    Carnegie Mellon University, United States

    11 publications · 582 citations

    10

    h-index

  4. MS
    Michael Shulman

    University of San Diego, United States

    8 publications · 352 citations

    8

    h-index

  5. DI
    David I. Spivak

    Massachusetts Institute of Technology, United States

    7 publications · 390 citations

    8

    h-index

1–5 of 583

Institutions

301

  1. University of Cambridge

    Cambridge, United Kingdom

    17 h-index

    30 publications

    1.2K citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    15 h-index

    21 publications

    1.1K citations

  3. McGill University

    Montreal, Canada

    13 h-index

    15 publications

    3K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    13 h-index

    25 publications

    1.2K citations

  5. University of Oxford

    Oxford, United Kingdom

    11 h-index

    18 publications

    584 citations

  6. University of Chicago

    Chicago, United States

    9 h-index

    11 publications

    1.1K citations

  7. Case Western Reserve University

    Cleveland, United States

    8 h-index

    6 publications

    201 citations

  8. Technische Universität Darmstadt

    Darmstadt, Germany

    8 h-index

    8 publications

    279 citations

1–8 of 301

Venues

  1. Mathematical Structures in Computer Science

    MSCS · 26 publications · 1.4K citations

    20

    h-index

  2. arXiv (Cornell University)

    Repository · 44 publications · 1.3K citations

    20

    h-index

  3. Journal of Pure and Applied Algebra

    21 publications · 712 citations

    15

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 21 publications · 610 citations

    15

    h-index

  5. Theory and applications of categories

    TAC · 20 publications · 397 citations

    13

    h-index

1–5