{"id":"arxiv/2608.18358","url":"https://arxiv.org/abs/2608.18358","tags":["math.CT"],"score":0,"title":"Dual adjunctions between enriched algebraic categories","domain":"math.CT","source":"arxiv","authors":["Rory B. B. Lucyshyn-Wright"],"reviews":0,"subject":"math.CT","summary":"Working in the setting of enriched algebraic theories for a system of arities, we study several aspects of dual adjunctions between enriched algebraic categories, which we call algebraic dual adjunctions. Firstly, we generalize Freyd's theorem on contravariant algebra-valued right-adjoint functors to this setting. Secondly, we establish a biequivalence between a 2-category of algebraic dual adjunctions and a locally discrete 2-category of bifold algebras, in a sense defined in prior work of the author. Thirdly, we define special classes of algebraic dual adjunctions that we call (left- and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-18","reactions":{}}