Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Dual adjunctions between enriched algebraic categories
Rory B. B. Lucyshyn-Wright
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 alg…
math.CT2026
V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases
Rory B. B. Lucyshyn-Wright
In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry,…
math.CT2024
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
Rory B. B. Lucyshyn-Wright, Jason Parker
Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to a…