mattecapu / awesome-double-categoriesView external linksLinks
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☆20Dec 28, 2025Updated last month
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- ☆13May 25, 2023Updated 2 years ago
- My Agda blog/lab/playground☆12Updated this week
- Extensions to cubical for categorical logic/type theory☆35Updated this week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆74Feb 1, 2026Updated last week
- 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 4 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
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- A formal verification of Linear Temporal Logic in Coq☆23Updated this week
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 5 years ago
- ☆21Dec 28, 2025Updated last month
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated 11 months ago
- List of resources for learning Category Theory☆280Nov 26, 2024Updated last year
- Haskell library for doing category theory with a central role for profunctors☆24Feb 6, 2026Updated last week
- Agda category theory library for denotational design☆57Jan 25, 2026Updated 2 weeks ago
- 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☆68Feb 3, 2026Updated last week
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Jun 20, 2021Updated 4 years ago
- formally verified category theory library☆270Jun 23, 2020Updated 5 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆268Feb 4, 2026Updated last week
- 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
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- The Agda Universal Algebra Library (html docs available at the url below)☆42Dec 20, 2025Updated last month
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- A new Categories library for Agda☆397Jan 22, 2026Updated 3 weeks ago
- Mechanizations of Type Theories☆33Jan 15, 2026Updated 3 weeks ago
- Categorical logic from a categorical point of view☆81Oct 19, 2023Updated 2 years ago
- Lecture notes on realizability☆75Feb 21, 2025Updated 11 months ago
- A framework for applied category theory in the Julia language☆693Updated this week
- My personal site.☆10Jan 20, 2026Updated 3 weeks ago