Category Theory And Higher Algebra

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Category Theory And Higher Algebra.

• Monoidal category action — A functor from a monoidal category times another category to that category, equipped with coherent natural isomorphisms expressing associative action and a unit.