- An excursion into Dialectica and Differentiation Davide Barbarossa Mon 03 March 2025
- Presheaf automata Georg Struth Krzysztof Ziemiański Sat 12 October 2024
- Algebraically universal categories of relational structures Ioannis Eleftheriadis Wed 02 October 2024
- Combining fixpoint and differentiation theory Zeinab Galal Jean-Simon Pacaud Lemay Wed 24 July 2024
- Left-Linear Rewriting in Adhesive Categories Paolo Baldan Davide Castelnovo Andrea Corradini Fabio Gadducci Thu 11 July 2024
- An invitation to game comonads Samson Abramsky Luca Reggio Thu 04 July 2024
- Element-Free Probability Distributions and Random Partitions Victor Blanchi Hugo Paquet Thu 30 May 2024
- Natural numbers from integers Christian Sattler David Warn Thu 30 May 2024
- Concurrent Games over Relational Structures: The Origin of Game Comonads Yoàv Montacute Glynn Winskel Wed 22 May 2024
- Equivalence and Conditional Independence in Atomic Sheaf Logic Alex Simpson Wed 22 May 2024
- Monoidal bicategories, differential linear logic, and analytic functors M. Fiore N. Gambino M. Hyland Thu 16 May 2024
- Linear Arboreal Categories Samson Abramsky Yoàv Montacute Nihil Shah Sat 06 April 2024
- Profinite trees, through monads and the lambda-calculus Vincent Moreau Thu 29 February 2024
- Introduction to Categories and Categorical Logic S. Abramsky N. Tzevelekos Thu 08 February 2024
- The Formal Theory of Monads, Univalently Niels van der Weide Tue 06 February 2024
- What is Applied Category Theory Tai-Danae Bradley Fri 02 February 2024
- Diagrammatic Algebra of First Order Logic Filippo Bonchi Alessandro Di Giorgio Nathan Haydon Pawel Sobocinski Fri 19 January 2024
- Automata and coalgebras in categories of species Fosco Loregian Thu 18 January 2024
- Lovász-Type Theorems and Game Comonads Anuj Dawar Tomáš Jakl Luca Reggio Sun 05 November 2023
- Central Submonads and Notions of Computation TItouan Carette Louis Lemonnier Vladimir Zamdzhiev Fri 28 April 2023
- Higher-dimensional subdiagram matching Amar Hadzihasanovic Diana Kessler Fri 28 April 2023
- A categorical account of composition methods in logic Tomáš Jakl Dan Marsden Nihil Shah Fri 28 April 2023
- Evidential Decision Theory via Partial Markov Categories Elena Di Lavore Mario Román Fri 28 April 2023
- The Cartesian Closed Bicategory of Thin Spans of Groupoids Pierre Clairambault Simon Forest Fri 28 April 2023
- Differential 2-rigs Fosco Loregian Todd Trimble Sat 11 March 2023
- Stabilized profunctors and stable species of structures Marcelo Fiore Zeinab Galal Hugo Paquet Fri 10 March 2023
- Fixpoint operators for 2-categorical structures Zeinab Galal Fri 10 March 2023
- A compositional theory of digital circuits Dan R. Ghica George Kaye David Sprunger Mon 20 February 2023
- Automata and one-dimensional TQFTs with defects Paul Gustafson Mee Seong Im Remy Kaldawy Mikhail Khovanov Zachary Lihn Sat 07 January 2023
- Parsing as a lifting problem and the Chomsky-Schutzenberger representation theorem Paul-André Melliès Noam Zeilberger Sat 24 December 2022
- Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus Marcelo Fiore Thu 21 July 2022
- Regular Monoidal Languages Matthew Earnshaw Paweł Sobociński Wed 13 July 2022
- A Variety Theorem for Relational Universal Algebra Chad Nester Wed 12 May 2021
- Reiterman's Theorem on Finite Algebras for a Monad Jiri Adamek Liang-Ting Chen Stefan Milius Henning Urbat Wed 13 January 2021
- No-Go Theorems for Distributive Laws Maaike Zwart Dan Marsden Mon 30 March 2020
- Notes on Category Theory with examples from basic mathematics Paolo Perrone Fri 27 December 2019
- idris-ct: A Library to do Category Theory in Idris Fabrizio Genovese Alex Gryzlov Jelle Herold Andre Knispel Marco Perone Erik Post André Videla Mon 16 December 2019
- Categories for Me, and You Clément Aubert Mon 14 October 2019
- The Mathematical Specification of the Statebox Language Statebox Team Fabrizio Genovese Wed 19 June 2019
Library Size: 13G (39 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
