functor preserving finite products

1. Definition

Let \(\mathcal{C}, \mathcal{D}\) be categories and \(\mathcal{F}: \mathcal{C} \rightarrow \mathcal{D}\) a functor. Then \(\mathcal{F}\) is said to be preserving finite products, if

\begin{align*} \mathcal{F}(\prod_{i \in I} A_i) = \prod_{i \in I}(\mathcal{F}(A_i)) \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 00:03