Lazy category: methods for cokernel
lazy category: zero object
lazy category: terminal object
lazy category: initial object
lazy category: direct sum
lazy category: coproduct
lazy category: direct product
lazy category: pullback
lazy category: pushout
lazy category: image