Jacopo Emmenegger

Most-cited papers

Elementary doctrines as coalgebras
Jacopo Emmenegger, Fabio Pasquali, G. Rosolini
2020Journal of Pure and Applied Algebra23 citations Open access
Semantic Scholar
A 2-categorical analysis of context comprehension
Greta Coraglia, Jacopo Emmenegger
2024Theory and Applications of Categories8 citations
Semantic Scholar
On the local cartesian closure of exact completions
Jacopo Emmenegger
20188 citations Open access
Semantic Scholar
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
Jacopo Emmenegger, Erik Palmgren
2017Journal of Symbolic Logic (JSL)8 citations Open access
Semantic Scholar
A comonad for Grothendieck fibrations
Jacopo Emmenegger, Luca Mesiti, G. Rosolini, T. Streicher
2023Theory and Applications of Categories5 citations Open access
Semantic Scholar
A characterisation of elementary fibrations
Jacopo Emmenegger, Fabio Pasquali, G. Rosolini
2020Annals of Pure and Applied Logic4 citations Open access
Semantic Scholar
Categorical models of subtyping
Greta Coraglia, Jacopo Emmenegger
2023Types for Proofs and Programs3 citations
Semantic Scholar
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
B. Ahrens, Jacopo Emmenegger, P. North, Egbert Rijke
2023Journal of Symbolic Logic (JSL)3 citations Open access
Semantic Scholar
Elementary fibrations of enriched groupoids
Jacopo Emmenegger, Fabio Pasquali, G. Rosolini
2021Mathematical Structures in Computer Science3 citations Open access
Semantic Scholar
W-types in setoids
Jacopo Emmenegger
2018Log. Methods Comput. Sci.2 citations Open access
Semantic Scholar
A category-theoretic version of the identity type weak factorization system
Jacopo Emmenegger
20142 citations
Semantic Scholar
The Fullness Axiom and exact completions of homotopy categories
Jacopo Emmenegger
20181 citations
Semantic Scholar
Free constructions for comprehension categories
Francesco Dagnino, Jacopo Emmenegger, A. Giusto
2026arXiv.org0 citations
Semantic Scholar
Preface to “Rosolini’s Festschrift: effectiveness and continuity in categorical logic”
Riccardo Camerlo, Francesco Dagnino, Jacopo Emmenegger, S. Negri
2026Mathematical Structures in Computer Science0 citations Open access
Semantic Scholar
Toward the effective 2-topos
Steve Awodey, Jacopo Emmenegger
2025Mathematical Structures in Computer Science0 citations Open access
Semantic Scholar
The solutions to single-variable polynomials, implemented and verified in Lean
N. Dyson, B. Ahrens, Jacopo Emmenegger
2022arXiv.org0 citations
Semantic Scholar
Algebraic Presentations of Type Dependency
B. Ahrens, Jacopo Emmenegger, P. North, Egbert Rijke
2021Log. Methods Comput. Sci.0 citations Open access
Semantic Scholar
C T ] 1 8 N ov 2 02 1 B-systems and C-systems are equivalent
B. Ahrens, Jacopo Emmenegger, P. North, Egbert Rijke
20210 citations
Semantic Scholar
Elementary ﬁbrations of enriched groupoids 1
Jacopo Emmenegger, Fabio Pasquali, G. Rosolini
20210 citations
Semantic Scholar
Exact completion and type-theoretic structures
Jacopo Emmenegger
20190 citations
Semantic Scholar
2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017
Stefan Buijsman, M. Dam, Jacopo Emmenegger, D. Gurov +10 more
2018Bulletin of Symbolic Logic0 citations
Semantic Scholar
University of Birmingham B-systems and C-systems are equivalent
Benedikt Ahrens, P. North, Randall, Egbert Rijke +2 more
0 citations
Semantic Scholar