Jonathan Weinberger

Publications

• Synthetic Fibered (∞, 1)-Category Theory. Ulrik Buchholtz, Jonathan Weinberger. 2022.
• Internal Sums for Synthetic Fibered (∞,1)-Categories. Jonathan Weinberger. 2022.
• Strict Stability of Extension Types. Jonathan Weinberger. 2022.
• A Synthetic Perspective on (∞,1)-Category Theory: Fibrational and Semantic Aspects. Jonathan Weinberger. 2022.
• Simplicial Sets Inside Cubical Sets. Thomas Streicher, Jonathan Weinberger. 2021.