Database
BASIC CATEGORY THEORY
Categorical constructions
Product of categories
cxpc
Next ⟩
c1stf
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cxpc
Description:
Extend class notation with the product of two categories.
Ref
Expression
Assertion
cxpc
class Xc.