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
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 | |
| 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 |