Pseudo-functor

A **pseudo-functor** is a generalization of the concept of a functor in category theory, designed to handle situations where some structure is retained but strictness is relaxed. In formal category theory, functors map objects and morphisms from one category to another while preserving the categorical structure (identity morphisms and composition of morphisms). Pseudo-functors, however, allow for certain flexibility in this structure.