Streicher, Thomas
- Fibered Categories a la Jean Benabou
2018/01/09 by Streicher, Thomas · 2 citations
#18D30 #Category Theory (math.CT) #FOS: Mathematics
- A comonad for Grothendieck fibrations
2023/05/02 by Jacopo Emmenegger, Luca Mesiti, Emmenegger, Jacopo +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