faithful functor
1. Definition
Ein Funktor \(F: \mathcal{C} \rightarrow \mathcal{D}\) auf zwei Kategorien \(\mathcal{C}, \mathcal{D}\) ist treu, falls für \(A,B \in \mathrm{Ob}(\mathcal{C})\) \(F(A) \neq F(B)\) gilt.
Ein Funktor \(F: \mathcal{C} \rightarrow \mathcal{D}\) auf zwei Kategorien \(\mathcal{C}, \mathcal{D}\) ist treu, falls für \(A,B \in \mathrm{Ob}(\mathcal{C})\) \(F(A) \neq F(B)\) gilt.
Date: nil
Created: 2024-10-12 Sa 23:09