<- relationship/informs
@what is applied category theory?
@seven sketches in compositionality: an invitation to applied category theory