Contextualizebeta

monoidal category

noun

Definitions

  1. A category π’ž with a bifunctor βŠ—

    A category π’ž with a bifunctor βŠ—:π’žΓ—π’žβ†’π’ž which may be called tensor product, an associativity isomorphism Ξ±_(A,B,C):(AβŠ—B)βŠ—C≃AβŠ—(BβŠ—C), an object I which may be called tensor unit, a left unit natural isomorphism Ξ»_A:IβŠ—A≃A, a right unit natural isomorphism ρ_A:AβŠ—I≃A, and some "coherence conditions" (pentagon and triangle commutative diagrams for those isomorphisms).

The neighborhood

Vish β€” recursive loop

No curated loop yet for monoidal category. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary Β· source Β· CC-BY-SA