CartesianCategory
classic
ClosedCartesianCategory
classic
CoCartesianCategory
classic
Complement
experimental
ComplementOps
ComplementSyntax
ComplementSyntax
experimental
classic
experimental
coherent
experimental
complement
Complement
ComplementOps
curry
ApplicationCompose
ApplicationComposeCurryOps