Jonathan Maximilian Lajos Weinberger

Available identifiers

zbMath Open weinberger.jonathan-maximilian-lajosMaRDI QIDQ5040430

List of research outcomes

Publication	Date of Publication	Type
Internal sums for synthetic fibered \((\infty,1)\)-categories	2024-05-03	Paper
Formalizing the $\infty$-Categorical Yoneda Lemma	2023-09-15	Paper
A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects	2022-10-14	Paper
Strict stability of extension types	2022-03-14	Paper
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories	N/A	Paper
Smooth and Proper Maps	N/A	Paper
Generalized Chevalley criteria in simplicial homotopy type theory	N/A	Paper
On a fibrational construction for optics, lenses, and Dialectica categories	N/A	Paper

Research outcomes over time

This page was built for person: Jonathan Maximilian Lajos Weinberger