CATEGORY FUNCTOR // tap to place objects, drag to create morphisms
FUNCTOR F
NATURAL