Category ⋅ Discrete Category ⋅ Functor ⋅ Constant Functor ⋅ Bifunctor ⋅ Hom Functor ⋅ Monoidal Functor ⋅ Adjoint Functor ⋅ Natural Transformation ⋅ Yoneda ⋅ Limit ⋅ Kleisli ⋅ Functor Composition
Category ⋅ Discrete Category ⋅ Functor ⋅ Constant Functor ⋅ Bifunctor ⋅ Hom Functor ⋅ Monoidal Functor ⋅ Adjoint Functor ⋅ Natural Transformation ⋅ Yoneda ⋅ Limit ⋅ Kleisli ⋅ Functor Composition