Natural transformations. Discrete categories (1991)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics