Introduction to the theory of structured categories (1966)

by Charles Ehresmann