Limits and universal morphisms Colimits in comma categories may be "inherited". If and are cocomplete, is a cocontinuous functor, and another funct...

Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial orders 2 Formal definitions...

Beck's monadicity theorem gives a characterization of monadic functors. [ edit ] Uses Monads are used in functional programming to express types of...