3 papers
math.CT2026
Canonical differential calculi via functorial geometrization
Keegan J. Flood, Gabriele Lobbia, Giacomo Tendas
Given a category , we establish sufficient conditions on a faithful isofibration valued in the category of mono…
cs.LO2025
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
Gabriele Lobbia, Wojciech Różowski, Ralph Sarkis +1
String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable re…
math.CT2025
A finite approach to representable multicategories and related structures
Gabriele Lobbia
It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to repres…