👉 Univariant is a concept in mathematics and computer science that refers to properties which are invariant under transformations of the domain. It is often used in the context of category theory, particularly in the study of categories with multiple domains. In this sense, an object $A$ in a category $\mathcal{C}$ is univariant if it does not depend on any specific choice of objects or morphisms within that category. For example, consider a category $\mathcal{C}$ where each
