of Categorical Algebra (1994)

by Handbook F Borceaux