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
Unicode
Syntax definition
ccmd
Description:
Class function defining the colimit of a diagram.
Ref
Expression
Assertion
ccmd
Could not format assertion : No typesetting found for class Colimit with typecode class