Jonathan Weinberger
Scholar

Jonathan Weinberger

Google Scholar ID: pCKd-4MAAAAJ
Assistant professor in computer science @ Fowler School of Engineering, Chapman University
Homotopy type theoryhigher category theorycategorical logichomotopy theorytopos theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
149
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
2 items
The Yoneda embedding in simplicial type theory
2025
Cited
0
Smooth and Proper Maps
Mathematical Structures in Computer Science · 2024
Cited
1
Resume (English only)
Co-authors
9 total
Ulrik Buchholtz
Ulrik Buchholtz
University of Nottingham
Daniel Gratzer
Daniel Gratzer
Aarhus University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Valeria de Paiva
Valeria de Paiva
Topos Institute, University of Birmingham
Davide Trotta
Davide Trotta
Post doc, University of Pisa
Co-author 7
Co-author 7
Matteo Capucci
Matteo Capucci
University of Strathclyde, Independent