Morphisms (normal ones and linear)
Theorems: Interpretation as natural transformation (including naturality). Preservations of composition. BONUS: Reconstruction of container morphism from natural transformation.
Theorems: Interpretation as natural transformation (including naturality). Preservations of composition. BONUS: Reconstruction of container morphism from natural transformation.