„Kategória (matematika)” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
45. sor:
: (f: A <math>\rightarrow</math> B ∧ f: C <math>\rightarrow</math> D) ⇒ (A = C ∧ B = D)
: (f o g) o h = f o (g o h)
: (∃ i)(∃ j)( i:A <math>\rightarrow</math> A ∧ j:B <math>\rightarrow</math> B ∧ (∀ f)( f: A <math>\rightarrow</math> B ⇒ ( j o f = f ∧ f = f o i ) ) )
=== Interpretáció ===
|