検索結果- 英語 - 英語
検索内容:
category reference
noun
monoidal category
noun
(category
theory)
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).
hors categorie
noun
loading!
Loading...