A First Order Theory of Diagram Chasing.

Assia Mahboubi, Matthieu Piquerez

Browse the full CSL paper archive.