Category Theory And Compositional Systems

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Category Theory And Compositional Systems.

• Traced monoidal category — A monoidal category equipped with a trace operation that feeds an output object back into a matching input while satisfying naturality, dinaturality, vanishing, superposing and yanking axioms.