from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun category theory Given
categoriesC and D and functorsF and G both going from C to D, then a transformation η from F to G consists of components ηX:F(X) → G(X), indexed by objects X of C, which are morphismsin D. The transformation is said to be natural if for any arrow f:X → Y in C, the following naturality condition is satisfied: .
Sorry, no etymologies found.
Sorry, no example sentences found.