Connected limits, familial representability and Artin glueing (1995)

by Aurelio Carboni, Peter Johnstone
Venue:Mathematical Structures in Computer Science 5