monoidal category
A monoidal category is a category equipped with a tensor product—a way of combining objects that behaves like multiplication, with an identity object that acts like the number one.
The structure must satisfy coherence conditions ensuring that different ways of combining multiple objects yield equivalent results.
Monoidal categories formalize contexts where objects can be "put together": vector spaces with tensor products, sets with Cartesian products, or types in programming with pairing operations.
The category of endofunctors on a category forms a monoidal category under composition.
Determining worth or quality
Tangible items or protests
- compositionArranged elements forming whole
- arrowsShafted projectiles for bows
- isomorphismStructure-preserving bijective map
evaluation
Determining worth or quality
coherence
Logical internal consistency
objects
Tangible items or protests
- compositionArranged elements forming whole
- arrowsShafted projectiles for bows
- isomorphismStructure-preserving bijective map
braided
Interlaced into rope-like form
pivotal · ribbon · fusion · balanced · spherical · traced · autonomous · dagger · additive
quantum computing
Calculation using subatomic phenomena