---
date: 2022-02-16 21:37
modification date: Wednesday 16th February 2022 21:37:47
title: adjoint
aliases: [adjunction, triangular identities, adjoint]

---

Last modified date: <%+ tp.file.last_modified_date() %>


---

- Tags 
	- #higher-algebra 
- Refs:
	- #todo/add-references
- Links:
	- [Kan extension](Unsorted/Kan%20extension.md)
	- [monad](Unsorted/monad.md)

---


# adjoint

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

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

![](attachments/Pasted%20image%2020220320035942.png)
![](attachments/Pasted%20image%2020220320035952.png)
# Properties

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


# Triangular identities

An example:
![](attachments/Pasted%20image%2020220403205455.png)