Nuprl Definition : trans-comp
t1 o t2 == A |→ cat-comp(D) (F A) (G A) (H A) (t1 A) (t2 A)
Definitions occuring in Statement :
mk-nat-trans: x |→ T[x],
functor-ob: ob(F),
cat-comp: cat-comp(C),
apply: f a
Definitions occuring in definition :
mk-nat-trans: x |→ T[x],
cat-comp: cat-comp(C),
functor-ob: ob(F),
apply: f a
FDL editor aliases :
trans-comp
Latex:
t1 o t2 == A |\mrightarrow{} cat-comp(D) (F A) (G A) (H A) (t1 A) (t2 A)
Date html generated:
2020_05_20-AM-07_51_39
Last ObjectModification:
2017_01_10-PM-04_37_14
Theory : small!categories
Home
Index