advanced_tools:category_theory:monoids
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
advanced_tools:category_theory:monoids [2017/11/10 09:43] jakobadmin [Student] |
advanced_tools:category_theory:monoids [2017/11/10 10:43] (current) jakobadmin [Student] |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| | | ||
| <tabbox Student> | <tabbox Student> | ||
| + | A monoid is a generalisation of [[advanced_tools:group_theory|group]], in that the | ||
| + | requirement that each element has an inverse is dropped. | ||
| <blockquote>what is a category with one object? It is a "monoid". The usual definition of a monoid is this: a set M with an associative binary product and a unit element 1 such that a1 = 1a = a for all a in S. [...] | <blockquote>what is a category with one object? It is a "monoid". The usual definition of a monoid is this: a set M with an associative binary product and a unit element 1 such that a1 = 1a = a for all a in S. [...] | ||
advanced_tools/category_theory/monoids.1510303401.txt.gz ยท Last modified: 2017/12/04 08:01 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
