Quotients and Extensionality in Relational Doctrines.

Francesco Dagnino, Fabio Pasquali

Browse the full FSCD paper archive.