Emmenegger, Jacopo

1. 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
2. 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