Covariant functor

From Cattheory
Redirect page