Database
BASIC CATEGORY THEORY
Arrows (disjointified hom-sets)
Identity and composition for arrows
Next ⟩
cida
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 8.2.34. Identity and composition for arrows
cida
ccoa
df-ida
df-coa
idafval
idaval
ida2
idahom
idadm
idacd
idaf
coafval
eldmcoa
dmcoass
homdmcoa
coaval
coa2
coahom
coapm
arwlid
arwrid
arwass