Fosco Loregiàn
- Profunctor Optics, a Categorical Update
2020/01/21 by Bryce Clarke, Derek Elkins, Jeremy Gibbons +6 · 2 voices · 8 citations
Chemistry · Computer Science · Engineering · Mathematics · #Geophysics and Sensor Technology #Homotopy and Cohomology in Algebraic Topology #Molecular spectroscopy and chirality #cs.PL #math.CT
- On the unicity of formal category theories
2019/01/06 by Ivan Di Liberti, Di Liberti, Ivan, Fosco Loregiàn +1 · 1 citation
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models #Advanced Topics in Algebra
- Rosen's no-go theorem for regular categories
2020/12/21 by Fosco Loregiàn, Loregian, Fosco · 1 citation
Computer Science · Mathematics · #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Biological sciences #FOS: Mathematics #Logic, programming, and type systems #Other Quantitative Biology (q-bio.OT) #Rings, Modules, and Algebras