Database
BASIC CATEGORY THEORY
Categorical constructions
Functor evaluation
cuncf
Next ⟩
cdiag
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cuncf
Description:
Extend class notation with the uncurrying of a functor.
Ref
Expression
Assertion
cuncf
class
uncurry
F