EMMENEGGER, JACOPO
EMMENEGGER, JACOPO
100021 - Dipartimento di Matematica
A 2-categorical analysis of context comprehension
2024-01-01 Coraglia, Greta; Emmenegger, Jacopo
A characterisation of elementary fibrations
2022-01-01 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
A comonad for Grothendieck fibrations
2024-01-01 Emmenegger, Jacopo; Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
2023-01-01 Ahrens, Benedikt; Emmenegger, Jacopo; RANDALL NORTH, Paige; Rijke, Egbert
Categorical Models of Subtyping
2024-01-01 Coraglia, Greta; Emmenegger, Jacopo
Elementary doctrines as coalgebras
2020-01-01 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
Elementary fibrations of enriched groupoids
2021-01-01 Emmenegger, J.; Pasquali, F.; Rosolini, G.
Exact completion and constructive theories of sets
2020-01-01 Emmenegger, Jacopo; Palmgren, Erik
L'interpretazione BHK per la logica intuizionista
2018-01-01 Emmenegger, Jacopo
On the local cartesian closure of exact completions
2020-01-01 Emmenegger, Jacopo
The Fullness Axiom and exact completions of homotopy categories
2020-01-01 Emmenegger, Jacopo
W-types in setoids
2021-01-01 Emmenegger, Jacopo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A 2-categorical analysis of context comprehension | 1-gen-2024 | Coraglia, Greta; Emmenegger, Jacopo | |
A characterisation of elementary fibrations | 1-gen-2022 | Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe | |
A comonad for Grothendieck fibrations | 1-gen-2024 | Emmenegger, Jacopo; Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas | |
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT | 1-gen-2023 | Ahrens, Benedikt; Emmenegger, Jacopo; RANDALL NORTH, Paige; Rijke, Egbert | |
Categorical Models of Subtyping | 1-gen-2024 | Coraglia, Greta; Emmenegger, Jacopo | |
Elementary doctrines as coalgebras | 1-gen-2020 | Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe | |
Elementary fibrations of enriched groupoids | 1-gen-2021 | Emmenegger, J.; Pasquali, F.; Rosolini, G. | |
Exact completion and constructive theories of sets | 1-gen-2020 | Emmenegger, Jacopo; Palmgren, Erik | |
L'interpretazione BHK per la logica intuizionista | 1-gen-2018 | Emmenegger, Jacopo | |
On the local cartesian closure of exact completions | 1-gen-2020 | Emmenegger, Jacopo | |
The Fullness Axiom and exact completions of homotopy categories | 1-gen-2020 | Emmenegger, Jacopo | |
W-types in setoids | 1-gen-2021 | Emmenegger, Jacopo |