nLab Frobenius monoidal functor

Redirected from "Frobenius monoidal functors".
Contents

Context

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Contents

Definition

A functor F:CDF : C \to D between monoidal categories which is both a lax monoidal functor and an oplax monoidal functor is called Frobenius if the structure morphisms for the lax monoidal structure

x,y:F(x)F(y)F(xy) \nabla_{x,y} : F(x)\otimes F(y) \to F(x \otimes y)

and for the oplax monoidal structure

Δ x,y:F(xy)F(x)F(y) \Delta_{x,y} : F(x \otimes y) \to F(x) \otimes F(y)

satisfy the axioms of a Frobenius algebra in that (in string diagram notation) for all objects x,y,zx,y,z in CC we have

(F(x) F(yz) F(x) F(y) F(z) F(xy) F(z))=(F(x) F(yz) F(xyz) F(xy) F(y)) \left( \array{ F(x) &&&& F(y \otimes z) \\ \downarrow &&& \swarrow & \downarrow \\ F(x) && F(y)& & F(z) \\ \downarrow & \swarrow &&& \downarrow \\ F(x \otimes y) &&&& F(z) } \right) = \left( \array{ F(x) &&&& F(y \otimes z) \\ & \searrow && \swarrow \\ && F(x \otimes y \otimes z) \\ & \swarrow && \searrow \\ F(x \otimes y) &&&& F(y) } \right)

and

(F(xy) F(z) F(x) F(y) F(z) F(x) F(yz))=(F(xy) F(z) F(xyz) F(x) F(yz)) \left( \array{ F(x \otimes y) &&&& F(z) \\ \downarrow & \searrow && & \downarrow \\ F(x) && F(y) & & F(z) \\ \downarrow & && \searrow & \downarrow \\ F(x ) &&&& F(y \otimes z) } \right) = \left( \array{ F(x \otimes y) &&&& F(z) \\ & \searrow && \swarrow \\ && F(x \otimes y \otimes z) \\ & \swarrow && \searrow \\ F(x) &&&& F(y \otimes z) } \right)

Examples

The Moore complex functor

C:sAbCh + C : sAb \to Ch_\bullet^+

from abelian simplicial groups to connective chain complexes is Frobenius, as is the normalzed chains complex functor

N:sAbCh +. N : sAb \to Ch_\bullet^+ \,.

For more on this see monoidal Dold-Kan correspondence.

Generalizations

Frobenius monoidal functors are a special case of Frobenius linear functors between linearly distributive categories.

This concept is related to that of

albeit in a nontrivial way. See Theorem 3.18 of (Flake et al 2024) for more on this.

References

Relation to Drinfeld centers:

  • Johannes Flake, Robert Laugwitz, Sebastian Posur: Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers [arXiv:2410.08702]

Last revised on November 15, 2024 at 18:00:56. See the history of this page for a list of all contributions to it.