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
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
Co-authors
6 total
Ulrik Buchholtz
Ulrik Buchholtz
University of Nottingham
Daniel Gratzer
Daniel Gratzer
Aarhus University
Nikolai Kudasov
Nikolai Kudasov
Innopolis University
Valeria de Paiva
Valeria de Paiva
Topos Institute, University of Birmingham
Davide Trotta
Davide Trotta
Post doc, University of Pisa
Matteo Capucci
Matteo Capucci
University of Strathclyde, Independent