Tag Archives: Georg Frobenius

Graphical Axioms from the nCatLab

If you don’t read the n-category café’s wiki project, you are missing out. Definition. A Frobenius algebra in a monoidal category is a quadruple (A,δ,ϵ,μ,η) such that (A,μ,η) is a monoid, (A,δ,ϵ) is a comonoid, and the Frobenius laws hold: (1⊗μ)∘(δ⊗1)=δ∘μ=(μ⊗1)∘(1⊗δ). In terms of string diagrams, this definition says: The first line here … Continue reading

Posted in Uncategorized | Tagged , , , , | Leave a comment