bifunctor
1. Definition
A functor \(F: A \times B \rightarrow C\) from a product category \(A \times B\) to another category \(\mathcal{C}\) is called a bifunctor.
A functor \(F: A \times B \rightarrow C\) from a product category \(A \times B\) to another category \(\mathcal{C}\) is called a bifunctor.
Date: nil
Created: 2024-10-11 Fr 22:20