A Formal Logic for Formal Category Theory.

Max S. New, Daniel R. Licata

Browse the full FOSSACS paper archive.