Monoid (category theory)
id:
monoid-category-theory-271-13892838
title:
Monoid (category theory)
text:
In category theory, a branch of mathematics, a monoid in a monoidal category is an object M together with two morphisms μ: M ⊗ M → M called multiplication,
η: I → M called unit, such that the pentagon diagram and the unitor diagram commute. In the above notation, 1 is the identity morphism of M, I is the unit element and α, λ and ρ are respectively the associativity, the left identity and the right identity of the monoidal category C. Dually, a comonoid in a monoidal category C is a monoid in th
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Monoid_(category_theory)
date created:
date modified:
2024-01-31T14:20:49Z
main entity:
{"identifier":"Q2785361","url":"https://www.wikidata.org/entity/Q2785361"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/a/a4/Monoid_unit_svg.svg","width":363,"height":125}
fields total:
13
integrity:
14