Dilatations of categories and commutative rings

Source: arxiv:2608.09305, url:https://github.com/rndmx/DilCat Authors: Arnaud Mayeux, Jujian Zhang Status: verified Main declarations: CategoryTheory.Dilatations.Dila_universal_property Tags: categories, localization, dilatations, commutative-algebra, universal-properties MSC: 18A30, 13B30