Database
BASIC CATEGORY THEORY
Examples of categories
The category of extensible structures
cestrc
Next ⟩
df-estrc
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cestrc
Description:
Extend class notation to include the category ExtStr.
Ref
Expression
Assertion
cestrc
class ExtStrCat