Properties invariant within equivalence types of categories (1976)

by P Freyd