REFERENCES.rst

References

Summary: Non-exhaustive list of references to books, articles and third-party libraries used in this repository (provided that a paper was released).

Table of Contents

• Books, papers and articles
• Libraries

Books, papers and articles

Books, papers and other kinds of articles (e.g., blog posts) relevant to the implementation of this repository:

• Category Theory

  • Elementary Category Theory

    • Category Theory For Programmers
    • Computational Category Theory
    • An approach to computational category theory

  • Higher Category Theory

    • Higher-Dimensional Categories: an illustrated guide book
    • Higher category theory
    • An Introduction to n-Categories

  • Multicategories and operads

• Systems Theory

  • Wiring diagrams, circuits, active and passive filters

  • Automata, formal languages and discrete-time systems

    • Finite State Machines
    • Introduction to Theoretical Computer Science
    • Theoretical Computer Science for the Working Category Theorist

  • Logical systems and Systems Verification

    • Logic and Proof (using Lean)
    • The Mechanics of Proof (using Lean)
    • Lecture Notes on Hybrid Systems

  • Dependent Type Theory (DTT), Metaprogramming and proofs

    • Theorem Proving in Lean 4
    • The Hitchhiker's Guide to Logical Verification
    • Type Theory Lecture Notes
    • Principles of Dependent Type Theory

  • Homotopy Type Theory (HoTT) and proofs

    • Homotopy Type Theory: Univalent Foundations of Mathematics
    • Homotopy Type Theory Lecture Notes
    • Introduction to Homotopy Type Theory

• Multidisciplinary

  • Operadic wiring diagrams

  • Categorical models of internal Logical Systems

  • Categorical models of internal Type Theories

    • Categorical Semantics for Type Theories
    • Categorical models of type theory
    • Categorical models of homotopy type theory
    • ∞-Cosmoi for Lean

  • Categorical models of automata and Algebraic Language Theory

    • Topoi of automata

PS. The term "higher-dimensional" categories is a misnomer, and it should be read as "higher-order" categories (inside a hierarchical architeacture).

Libraries

(None)