Concepedia

Category-theoretic Language

Category-Theoretic Language is a formal linguistic framework in mathematics that employs the structural and relational concepts of category theory—such as objects, morphisms, functors, and natural transformations—to systematically express and analyze mathematical theories and their interconnections in a unified, abstraction-based syntax.

30

Publications

1.2K

Citations

48

Authors

42

Institutions

Publications per year

2017–2026

6

Parents

Publications

30

Dagger Compact Closed Categories and Completely Positive Maps

Peter Selinger · Electronic Notes in Theoretical Computer Science · 2007 · 411 citations · Full text

, , +13

Structure in Mathematics and Logic: A Categorical Perspective

Steve Awodey · Philosophia Mathematica · 1996 · 112 citations

, , +13

<b>A notional theory of syntactic categories</b> . By John M. Anderson (Cambridge studies in linguistics, 82). Cambridge: Cambridge University Press, 1997. Pp. xiii, 352.

Language · 1998 · 57 citations

, , +13

Semi-graphs of Anabelioids

Shinichi Mochizuki · Publications of the Research Institute for Mathematical Sciences · 2006 · 49 citations · Full text

, , +11

Refinement for Signal Flow Graphs

Brendan Fong · arXiv (Cornell University) · 2016 · 48 citations · Full text

, , +16

1–5 of 30

Authors

48

  1. TL
    Tom Leinster

    University of Glasgow, United Kingdom

    2 publications · 42 citations

    2

    h-index

  2. BS
    Bas Spitters

    Radboud University Nijmegen, Netherlands

    2 publications · 69 citations

    2

    h-index

  3. ER
    Egbert Rijke

    Carnegie Mellon University, United States

    2 publications · 69 citations

    2

    h-index

  4. MS
    Michael Shulman

    University of San Diego, United States

    2 publications · 69 citations

    2

    h-index

  5. LR
    L. Rom�n

    Dalhousie University, Canada

    1 publications · 23 citations

    1

    h-index

1–5 of 48

Institutions

42

  1. City University of New York

    New York, United States

    2 h-index

    2 publications

    53 citations

  2. Imperial College London

    London, United Kingdom

    2 h-index

    4 publications

    79 citations

  3. Sorbonne Université

    Paris, France

    1 h-index

    1 publications

    27 citations

  4. The University of Sydney

    Sydney, Australia

    1 h-index

    1 publications

    20 citations

  5. Instituto Midia Étnica

    Salvador, Brazil

    1 h-index

    2 publications

    34 citations

  6. Université Claude Bernard Lyon 1

    Villeurbanne, France

    1 h-index

    1 publications

    10 citations

  7. Defence Science and Technology Group

    Canberra, Australia

    1 h-index

    1 publications

    13 citations

  8. Aarhus University

    Aarhus, Denmark

    1 h-index

    2 publications

    68 citations

1–8 of 42

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 424 citations

    2

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 2 publications · 47 citations

    2

    h-index

  3. International Journal of General Systems

    1 publications · 10 citations

    1

    h-index

  4. Continental Philosophy Review

    1 publications · 17 citations

    1

    h-index

  5. Logical Methods in Computer Science

    LMCS · 1 publications · 35 citations

    1

    h-index

1–5