Axiom Systems for Category Theory in Free Logic

Christoph Benzmüller 🌐 and Dana Scott 🌐

May 23, 2018

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


This document provides a concise overview on the core results of our previous work on the exploration of axioms systems for category theory. Extending the previous studies ( we include one further axiomatic theory in our experiments. This additional theory has been suggested by Mac Lane in 1948. We show that the axioms proposed by Mac Lane are equivalent to the ones we studied before, which includes an axioms set suggested by Scott in the 1970s and another axioms set proposed by Freyd and Scedrov in 1990, which we slightly modified to remedy a minor technical issue.


BSD License


Session AxiomaticCategoryTheory