Source author record

Adriana Balan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CT math.QA

Catalog footprint

Research overview

3works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

On Hopf adjunctions, Hopf monads and Frobenius-type properties

Let $U$ be a strong monoidal functor between monoidal categories. If it has both a left adjoint $L$ and a right adjoint $R$ , we show that the pair $(R,L)$ is a linearly distributive functor and $(U,U)\dashv (R,L)$ is a linearly distributive adjunction, if and only if $L\dashv U$ is a Hopf adjunction and $U\dashv R$ is a coHopf adjunction. We give sufficient conditions for a strong monoidal $U$ which is part of a (left) Hopf adjunction $L\dashv U$ , to have as right adjoint a twisted version of the left adjoint $L$ . In particular, the resulting adjunction will be (left) coHopf. One step further, we prove that if $L$ is precomonadic and $L\mathbf I$ is a Frobenius monoid (where $\mathbf I$ denotes the unit object of the monoidal category), then $L\dashv U\dashv L$ is an ambidextrous adjunction, and $L$ is a Frobenius monoidal functor. We transfer these results to Hopf monads: we show that under suitable exactness assumptions, a Hopf monad $T$ on a monoidal category has a right adjoint which is also a Hopf comonad, if the object $T\mathbf I$ is dualizable as a free $T$ -algebra. In particular, if $T\mathbf I$ is a Frobenius monoid in the monoidal category of $T$ -algebras and $T$ is of descent type, then $T$ is a Frobenius monad and a Frobenius monoidal functor.

preprint2014arXiv

A note on Frobenius monoidal functors on autonomous categories

Frobenius monoidal functors preserve duals. We show that conversely, (co)monoidal functors between autonomous categories which preserve duals are Frobenius monoidal. We apply this result to linearly distributive functors between autonomous categories.

preprint2010arXiv

On coalgebras over algebras

We extend Barr's well-known characterization of the final coalgebra of a $Set$ -endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a $Set$ -monad $\mathbf{M}$ for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad $\mathbf{M}$ and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.