Handbook of categorical logic (1994)

by F Borceux