Search Results: Comonoid object


Monoid (category theory)
Senin, 2026-04-06 16:43:40

of the monoidal category C {\displaystyle {\mathcal {C}}} . Dually, a comonoid in a monoidal category C {\displaystyle {\mathcal {C}}} is a monoid in...

Click to read more »
Hopf algebra
Kamis, 2026-04-30 23:18:21

the triple ( H , Δ , ε ) {\displaystyle (H,\Delta ,\varepsilon )} is a comonoid in the monoidal category ( C , ⊗ , I , α , λ , ρ , γ ) {\displaystyle (C...

Click to read more »
Simplex category
Minggu, 2023-01-15 21:51:54

and multiplication. This description is useful for understanding how any comonoid object in a monoidal category gives rise to a simplicial object since it...

Click to read more »
Cartesian monoidal category
Sabtu, 2025-05-10 19:40:51

These maps make any object into a comonoid. In fact, any object in a cartesian monoidal category becomes a comonoid in a unique way. Cartesian monoidal...

Click to read more »
Monad (category theory)
Selasa, 2026-04-07 06:38:31

are to comonoids. Every set is a comonoid in a unique way, so comonoids are less familiar in abstract algebra than monoids; however, comonoids in the...

Click to read more »
ZX-calculus
Jumat, 2026-02-13 19:09:24

corresponds to relational composition of these subspaces. In particular, the Z comonoid (given by the Z spider with one input and two outputs, and the Z spider...

Click to read more »
Timeline of category theory and related mathematics
Sabtu, 2026-05-30 10:19:08

all R, h and A lie in the autonomous monoidal bicategory Comod(V)co of comonoids. Comod(V) = Mod(Vop)coop. Quantum categories were introduced to generalize...

Click to read more »
Frobenius algebra
Rabu, 2026-04-22 08:29:52

object in C, ( A , δ , ε ) {\displaystyle (A,\delta ,\varepsilon )} is a comonoid object in C, the diagrams and commute (for simplicity the diagrams are...

Click to read more »
Glossary of category theory
Senin, 2026-06-01 08:31:08

category of B over an object b. comonad A comonad in a category X is a comonoid in the monoidal category of endofunctors of X. compact Probably synonymous...

Click to read more »
Dagger compact category
Kamis, 2026-04-30 18:30:18

coalgebra. Given an object A from a dagger compact category, a basis is a comonoid object ( A , δ , ε ) {\displaystyle (A,\delta ,\varepsilon )} . The two...

Click to read more »