Nuprl Definition : identity-trans
identity-trans(C;D;F) == A |→ cat-id(D) (functor-ob(F) A)
Definitions occuring in Statement :
mk-nat-trans: x |→ T[x],
functor-ob: functor-ob(F),
cat-id: cat-id(C),
apply: f a
Definitions occuring in definition :
functor-ob: functor-ob(F),
apply: f a,
cat-id: cat-id(C),
mk-nat-trans: x |→ T[x]
FDL editor aliases :
identity-trans
Latex:
identity-trans(C;D;F) == A |\mrightarrow{} cat-id(D) (functor-ob(F) A)
Date html generated:
2017_01_11-AM-09_18_10
Last ObjectModification:
2017_01_10-PM-04_35_10
Theory : small!categories
Home
Index