Jacopo Emmenegger
- A comonad for Grothendieck fibrations
2023/05/02 by Jacopo Emmenegger, Emmenegger, Jacopo, Luca Mesiti +5 · 1 citation
Mathematics · #03G30 #18N10 #18N45 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
- A 2-categorical analysis of context comprehension
2024/03/05 by Greta Coraglia, Coraglia, Greta, Jacopo Emmenegger +1 · 1 citation
Computer Science · #03B38 #18C15 (Secondary) #18N15 (Primary) 18D70 #18N45 #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Speech and dialogue systems
- Free constructions for comprehension categories
2026/07/29 by Francesco Dagnino, Jacopo Emmenegger, Andrea Giusto
Computer Science · Mathematics · #cs.LO #math.CT