Jacopo Emmenegger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A 2-categorical analysis of context comprehension (available as arXiv preprint)	N/A	Paper
Categorical models of subtyping	2026-01-30	Paper
Toward the effective 2-topos Mathematical Structures in Computer Science	2025-12-30	Paper
Algebraic presentations of type dependency Logical Methods in Computer Science	2025-03-06	Paper
B-systems and C-systems are equivalent The Journal of Symbolic Logic	2025-02-03	Paper
A 2-categorical analysis of context comprehension Theory and Applications of Categories	2024-11-08	Paper
A comonad for Grothendieck fibrations Theory and Applications of Categories	2024-05-08	Paper
Categorical models of subtyping	2023-12-22	Paper
Elementary fibrations of enriched groupoids Mathematical Structures in Computer Science	2022-06-24	Paper
A characterisation of elementary fibrations Annals of Pure and Applied Logic	2022-04-25	Paper
Algebraic Presentations of Dependent Type Theories	2021-11-18	Paper
W-types in setoids (available as arXiv preprint)	2021-10-08	Paper
W-types in setoids	2021-10-08	Paper
Exact completion and constructive theories of sets Journal of Symbolic Logic	2021-01-29	Paper
Elementary doctrines as coalgebras Journal of Pure and Applied Algebra	2021-01-22	Paper
The fullness axiom and exact completion of homotopy categories (available as arXiv preprint)	2020-12-17	Paper
The fullness axiom and exact completion of homotopy categories	2020-12-17	Paper
On the local Cartesian closure of exact completions Journal of Pure and Applied Algebra	2020-05-29	Paper
A category-theoretic version of the identity type weak factorization system	2014-11-29	Paper

Research outcomes over time

This page was built for person: Jacopo Emmenegger