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