diagram (category theory)
1. Definition
Let \(\mathcal{C}, \mathcal{J}\) be categories. A diagram in \(\mathcal{C}\) is with index category \(\mathcal{J}\) is a functor \(J: \mathcal{J} \rightarrow \mathcal{C}\)
Let \(\mathcal{C}, \mathcal{J}\) be categories. A diagram in \(\mathcal{C}\) is with index category \(\mathcal{J}\) is a functor \(J: \mathcal{J} \rightarrow \mathcal{C}\)
Date: nil
Created: 2024-10-11 Fr 21:30