Nuprl Definition : cat-isomorphic
cat-isomorphic(C;x;y) == ∃f:cat-arrow(C) x y. cat-isomorphism(C;x;y;f)
Definitions occuring in Statement :
cat-isomorphism: cat-isomorphism(C;x;y;f),
cat-arrow: cat-arrow(C),
exists: ∃x:A. B[x],
apply: f a
Definitions occuring in definition :
exists: ∃x:A. B[x],
apply: f a,
cat-arrow: cat-arrow(C),
cat-isomorphism: cat-isomorphism(C;x;y;f)
FDL editor aliases :
cat-isomorphic
Latex:
cat-isomorphic(C;x;y) == \mexists{}f:cat-arrow(C) x y. cat-isomorphism(C;x;y;f)
Date html generated:
2020_05_20-AM-07_50_13
Last ObjectModification:
2017_01_08-PM-01_07_04
Theory : small!categories
Home
Index