Database
BASIC CATEGORY THEORY
Categories
Initial, terminal and zero objects of a category
ctermo
Next ⟩
czeroo
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ctermo
Description:
Extend class notation with the class of terminal objects of a category.
Ref
Expression
Assertion
ctermo
class
TermO