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