10 citations · 21 across the 10 of their papers we have counts for
11 papers
On Graded Monads, Distributive Laws and Costrong Functors
Adriana Balan, Silviu-George Pantelimon
Strong functors and monads are ubiquitous in Computer Science. More recently, (strong) comonads have demonstrated their use in structuring context-dependent notions of computation.…
On the tensor product of completely distributive quantale-enriched categories
Adriana Balan
Tensor products are ubiquitous in algebra, topology, logic and category theory. The present paper explores the monoidal structure of the category $\mathcal{V}\hspace{0pt}\mbox{-}\h…
An equational approach to enriched distributivity
Adriana Balan, Alexander Kurz
The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a latt…
Extending set functors to generalised metric spaces
Adriana Balan, Alexander Kurz, Jiří Velebil
For a commutative quantale , the category can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type c…
On Hopf adjunctions, Hopf monads and Frobenius-type properties
Adriana Balan
Let be a strong monoidal functor between monoidal categories. If it has both a left adjoint and a right adjoint , we show that the pair is a linearly distributiv…
A note on Frobenius monoidal functors on autonomous categories
Adriana Balan
Frobenius monoidal functors preserve duals. We show that conversely, (co)monoidal functors between autonomous categories which preserve duals are Frobenius monoidal. We apply this…