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