Enriched categories, internal categories and change of base (1992)

by D Verity
Venue:Ph.D. Dissertation, University of Cambridge