In the study, algebraic structures and maps (category theory, morphisms and functors) that are inherently tied to the calculus of functors (orthogonal calculus)…