#category theory #morphism #abstract structure #mathematical category