A list of works and resources about double category theory, with a particular focus on applications.
☆31Oct 19, 2022Updated 3 years ago
Alternatives and similar repositories for awesome-double-categories
Users that are interested in awesome-double-categories are comparing it to the libraries listed below
Sorting:
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆21Updated this week
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- ☆13May 25, 2023Updated 2 years ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- My Agda blog/lab/playground☆12Feb 12, 2026Updated 3 weeks ago
- Extensions to cubical for categorical logic/type theory☆37Updated this week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆74Feb 1, 2026Updated last month
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- It is just my own wiki website. Nothing personal there, so it's public.☆38Jan 19, 2025Updated last year
- A small C++17 library inspired by Category Theory.☆16Jan 4, 2023Updated 3 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Feb 19, 2026Updated 2 weeks ago
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 6 years ago
- ☆21Dec 28, 2025Updated 2 months ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆25Nov 22, 2022Updated 3 years ago
- List of resources for learning Category Theory☆283Nov 26, 2024Updated last year
- Agda category theory library for denotational design☆58Jan 25, 2026Updated last month
- Haskell library for doing category theory with a central role for profunctors☆24Updated this week
- Algebraic structures, higher-kinded types and other category theory bad ideas☆27Mar 31, 2023Updated 2 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆69Updated this week
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Jun 20, 2021Updated 4 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 6 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆269Updated this week
- formally verified category theory library☆270Jun 23, 2020Updated 5 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated last year
- high-performance cubical evaluation☆80Feb 27, 2026Updated last week
- The Agda Universal Algebra Library (html docs available at the url below)☆44Dec 20, 2025Updated 2 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A new Categories library for Agda☆399Updated this week
- Lecture notes on realizability☆75Feb 21, 2025Updated last year
- Mechanizations of Type Theories☆35Jan 15, 2026Updated last month
- Categorical logic from a categorical point of view☆81Oct 19, 2023Updated 2 years ago
- A framework for applied category theory in the Julia language☆694Feb 10, 2026Updated 3 weeks ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆42Oct 21, 2020Updated 5 years ago