Keywords: Category Theory
2018
[3] Axiom Systems for Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), In Archive of Formal Proofs, 2018. (This publication is machine verified with Isabelle/HOL, but only mildly human reviewed) [bibtex] [pdf]
[2] Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract) (Christoph Benzmüller, Dana Scott), In 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds.), 2018. [bibtex] [pdf]
2016
[1] Axiomatizing Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), Technical report, CoRR, 2016. (http://arxiv.org/abs/1609.01493) [bibtex] [pdf]
Powered by bibtexbrowser