bifunctor

This term is a highly specialized technical expression used exclusively within the domain of category theory and advanced mathematics. It describes a specific type of mapping that operates on two variables simultaneously, maintaining the structural integrity of both input categories. Because of its extreme specificity, it is never used in casual conversation or general academic writing outside of mathematics and theoretical computer science.

In a mathematical context, the term implies a rigorous adherence to the laws of covariance or contravariance across two distinct arguments. It is distinct from a standard functor, which only processes a single category, and is often encountered when discussing tensor products or hom-functors.