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…
math.CT2026
Towards enriched universal algebra
JiÅà Rosický, Giacomo Tendas
Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment , we define a language $…
math.CT2025
More on soundness in the enriched context
Giacomo Tendas
Working within enriched category theory, we further develop the use of soundness, introduced by Adámek, Borceux, Lack, and Rosický for ordinary categories. In particular we inves…