Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Zhi Wang
Kan extensions and related concepts
Limits and colimits
ccmd
Next ⟩
df-lmd
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccmd
Description:
Class function defining the colimit of a diagram.
Ref
Expression
Assertion
ccmd
class
Colimit