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