- LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories) Rongge Xu Hui Dai Yiming Fu Jiedong Jiang Tianjiao Nie Hongwei Wang Junkai Wang Holiverse Yang Jiatong Yang Zhi-Hao Zhang Sat 28 February 2026
- The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory Tom de Jong Nicolai Kraus Axel Ljungstrøm Sun 01 February 2026
- Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach Thea Li Vladimir Zamdzhiev Sat 24 January 2026
- Comodule Representations of Second-Order Functionals Danel Ahman Andrej Bauer Fri 25 April 2025
- Coinductive Streams in Monoidal Categories Elena Di Lavore Giovanni de Felice Mario Román Fri 25 April 2025
- The categorical contours of the Chomsky-Schutzenberger representation theorem Paul-André Melliès Noam Zeilberger Sat 20 January 2024
- Algebraic Recognition of Regular Functions Mikolaj Bojańczyk Lê Thành Dũng Nguy~ên Tue 28 February 2023
- Duality in Logic and Computation Prakash Panangaden Mon 26 December 2016
- An elementary theory of the category of sets (long version) with commentary F. William Lawvere Thu 08 December 2016
- General Theory of Natural Equivalences Samuel Eilenberg Saunders MacLane Sun 26 October 2014
- Categorical Semantics of Linear Logic Paul-André Melliès Mon 24 June 2013
- Category Theory for Linear Logicians Richard Blute Philip Scott Mon 24 June 2013
- Notions of computation and monads Eugenio Moggi Wed 30 January 2013
- An Elementary Theory of the Category of Sets Bill Lawvere Thu 20 September 2012
- The Point of Pointless Topology Peter Johnstone Fri 31 August 2012
- Brief notes on category theory Prakash Panangaden Mon 02 July 2012
Library Size: 13G (16 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
