English
Related papers

Related papers: Frobenius algebras and ambidextrous adjunctions

200 papers

The contributions of this paper are twofold. Within the framework of Grothendieck's fibrational category theory, we present a web of fundamental 2-adjunctions surrounding the formation of the category of all small diagrams in a given…

Category Theory · Mathematics 2021-03-09 George Peschke , Walter Tholen

We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e.…

Algebraic Geometry · Mathematics 2007-05-23 Ralph M. Kaufmann

We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain…

Category Theory · Mathematics 2007-06-12 M. Menni , N. Sabadini , R. F. C. Walters

It is well-known that pseudo functors from bicategories of spans are equivalent to Beck-Chevalley bifibrations, and therefore capture the relationships underlying the adjunctions suitable as semantics for existential quantification. This…

Category Theory · Mathematics 2025-09-26 José Siqueira

Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…

Representation Theory · Mathematics 2019-03-13 Juan Jesús Barbarán Sánchez , Laiachi EL Kaoutit

We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of…

Category Theory · Mathematics 2022-12-07 Ivan Contreras , Molly Keller , Rajan Amit Mehta

This note relates axioms for partial semigroups and monoids with those for small object-free categories, either with multiple monoidal units or with source and target maps. We discuss the adjunction of a zero element to both kinds of…

Logic in Computer Science · Computer Science 2020-02-03 James Cranch , Simon Doherty , Georg Struth

If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…

Category Theory · Mathematics 2018-07-03 Hans-E. Porst

We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give…

q-alg · Mathematics 2020-11-23 John C. Baez , Martin Neuchl

We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…

Algebraic Topology · Mathematics 2014-11-26 Piotr Pstrągowski

This thesis contains results relevant for two different classes of conformal field theory. We partly treat rational conformal field theory, but also derive results that aim at a better understanding of logarithmic conformal field theory.…

High Energy Physics - Theory · Physics 2012-10-26 Carl Stigner

We construct a separable Frobenius monoidal functor from $\mathcal{Z}\big(\mathsf{Vect}_H^{\omega|_H}\big)$ to $\mathcal{Z}\big(\mathsf{Vect}_G^\omega\big)$ for any subgroup $H$ of $G$ which preserves braiding and ribbon structure. As an…

Quantum Algebra · Mathematics 2023-10-13 Samuel Hannah , Robert Laugwitz , Ana Ros Camacho

We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius…

Representation Theory · Mathematics 2022-09-26 Xiao-Wu Chen , Wei Ren

We consider certain quotient algebras of tensor algebras of bimodules $M$ over a finite-dimensional algebra $R$, and we investigate Frobenius type properties of such algebras. Our main interest is in the case where $M=R^*$, the linear dual…

Rings and Algebras · Mathematics 2025-03-21 Sorin Dascalescu , Constantin Nastasescu , Laura Nastasescu

This paper is devoted to the study of algebraic structures leading to link homology theories. The originally used structures of Frobenius algebra and/or TQFT are modified in two directions. First, we refine 2-dimensional cobordisms by…

Geometric Topology · Mathematics 2009-10-28 Anna Beliakova , Emmanuel Wagner

These notes offer an introduction to the functorial and algebraic description of 2-dimensional topological quantum field theories `with defects', assuming only superficial familiarity with closed TQFTs in terms of commutative Frobenius…

Quantum Algebra · Mathematics 2020-07-08 Nils Carqueville

Given an adjoint pair of functors $F,G$, the composite $GF$ naturally gets the structure of a monad. The same monad may arise from many such adjoint pairs of functors, however. Can one describe all of the adjunctions giving rise to a given…

Category Theory · Mathematics 2016-06-30 Andrew Salch

Classifying Frobenius algebras is a key question that has been addressed in various contexts. The structure of finite-dimensional Frobenius algebras depends on the base field and the dimension of the algebra, leading to different…

Rings and Algebras · Mathematics 2024-12-20 D. Asrorov , U. Bekbaev , I. Rakhimov

This paper is based on the author's talk at 1997 Taniguchi Symposium ``Integrable Systems and Algebraic Geometry''. We consider an approach to the theory of Frobenius manifolds based on the geometry of flat pencils of contravariant metrics.…

Differential Geometry · Mathematics 2007-05-23 Boris Dubrovin

The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…

Category Theory · Mathematics 2022-01-31 John Bourke