Doctrines, modalities and comonads
Dagnino, Francesco, Rosolini, Giuseppe
Published in Mathematical structures in computer science (01.08.2021)
Published in Mathematical structures in computer science (01.08.2021)
Get full text
Journal Article
Elementary doctrines as coalgebras
Emmenegger, Jacopo, Pasquali, Fabio, Rosolini, Giuseppe
Published in Journal of pure and applied algebra (01.12.2020)
Published in Journal of pure and applied algebra (01.12.2020)
Get full text
Journal Article
A characterisation of elementary fibrations
Emmenegger, Jacopo, Pasquali, Fabio, Rosolini, Giuseppe
Published in Annals of pure and applied logic (01.06.2022)
Published in Annals of pure and applied logic (01.06.2022)
Get full text
Journal Article
Elementary fibrations of enriched groupoids
Emmenegger, Jacopo, Pasquali, Fabio, Rosolini, Giuseppe
Published in Mathematical structures in computer science (01.10.2021)
Published in Mathematical structures in computer science (01.10.2021)
Get full text
Journal Article
Triposes, exact completions, and Hilbert's ε-operator
Maietti, Maria Emilia, Pasquali, Fabio, Rosolini, Giuseppe
Published in Tbilisi Mathematical Journal (01.06.2017)
Published in Tbilisi Mathematical Journal (01.06.2017)
Get full text
Journal Article
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Published in Logical methods in computer science (01.06.2019)
Published in Logical methods in computer science (01.06.2019)
Get full text
Journal Article
Frames and topological algebras for a double-power monad
Frosoni, Giulia, Rosolini, Giuseppe, Santamaria, Alessio
Published in Journal of logic and analysis (2019)
Published in Journal of logic and analysis (2019)
Get full text
Journal Article