Database
BASIC CATEGORY THEORY
Arrows (disjointified hom-sets)
Identity and composition for arrows
cida
Next ⟩
ccoa
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cida
Description:
Extend class notation to include identity for arrows.
Ref
Expression
Assertion
cida
class IdA