Doctrines whose structure forms a fully-faithful adjoint string (1997)

by F Marmolejo
Venue:Theory Appl. Categories