Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Zhi Wang
Examples of categories
Monoids as categories
cmndtc
Next ⟩
df-mndtc
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmndtc
Description:
Class function defining monoids as categories.
Ref
Expression
Assertion
cmndtc
class
MndToCat