Pages that link to "Item:Q5040430"
From MaRDI portal
The following pages link to Jonathan Maximilian Lajos Weinberger (Q5040430):
Displaying 6 items.
- A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects (Q5040431) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
- Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories (Q6505684) (← links)
- Smooth and Proper Maps (Q6519850) (← links)
- Generalized Chevalley criteria in simplicial homotopy type theory (Q6525859) (← links)
- On a fibrational construction for optics, lenses, and Dialectica categories (Q6527507) (← links)