On property-like structures. Theory and applications of categories (1997)

by G M Kelly, S Lack