---
date: 2022-03-18 00:32
modification date: Saturday 19th March 2022 21:44:59
title: cartesian fibration
aliases: [cocartesian fibration, cartesian fibration, Grothendieck opfibration]

---

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


---

- Tags 
	- #higher-algebra #higher-algebra/infty-cats 
- Refs:
	- #todo/add-references
- Links:
	- [infty-category](Unsorted/infinity%20categories.md)
	- [symmetric monoidal infty category](Unsorted/symmetric%20monoidal%20infty%20category.md)

---

# cartesian fibration

![](attachments/Pasted%20image%2020220510231601.png)
![](attachments/Pasted%20image%2020220510231624.png)
![](attachments/Pasted%20image%2020220510231649.png)
![](attachments/Pasted%20image%2020220510233528.png)



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

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