---
date: 2022-04-05 23:42
modification date: Tuesday 5th April 2022 23:42:25
title: "monoid"
aliases: [monoid]
---

Last modified date: NaN

---

- Tags: 
	- #todo/untagged
- Refs:
	- #todo/add-references
- Links:
	- #todo/create-links 

---

# monoid

Everything is a monoid! Let $\Mon(\cat C)$ be the monoid objects in a category $\cat C$.

- $\Mon(\Set)$ are ordinary monoids.
- $\Mon(\Ab\Grp) = \CRing$
- $\Mon(\kmod) = \kalg$
- $\Mon(\Ch \kmod) = \dg\kalg$.

![](attachments/Pasted%20image%2020220316202652.png)

![](attachments/Pasted%20image%2020220209175451.png)
![](attachments/Pasted%20image%2020220209175517.png)