Search Results: Comonoid object
Redirect to:
Monoid (category theory)
Senin, 2026-04-06 16:43:40of 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:21the 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:54and 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:51These 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:31are 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:24corresponds 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:08all 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:52object 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:08category 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:18coalgebra. 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 »