Related papers: On strict extensional reflexivity in compact close…
We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit…
For a certain kind of tensor functor $F: \mathcal{C} \to \mathcal{D}$, we define the relative modular object $\chi_F \in \mathcal{D}$ as the "difference" between a left adjoint and a right adjoint of $F$. Our main result claims that, if…
We present a systematic study of the structure of crossed products and fixed point algebras by compact group actions with the Rokhlin property on not necessarily unital C*-algebras. Our main technical result is the existence of an…
In this paper, we study tensor (or monoidal) categories of finite rank over an algebraically closed field $\mathbb F$. Given a tensor category $\mathcal{C}$, we have two structure invariants of $\mathcal{C}$: the Green ring (or the…
Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the…
Akbarov's theory of holomorphic reflexivity for topological Hopf algebras has been developed in two directions, namely, by the complication of definitions when expanding the scope and by their simplification when restricting. In the…
This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity…
We present a contravariant reflection of the compact $T_1$-spaces with arrows given by closed continuous functions into the category of bounded distributive lattices with arrows given by closed subfit morphisms. This reflection extends both…
Our initial aim was to answer the question: does the Frobenius (symmetric) property transfers from a strongly graded algebra to its homogeneous component of trivial degree? Related to it, we investigate invertible bimodules and the Picard…
The category of strict polynomial functors inherits an internal tensor product from the category of divided powers. To investigate this monoidal structure, we consider the category of representations of the symmetric group which admits a…
We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}: hom_C(x,x) \to hom_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from…
Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…
This paper introduces a canonical Polish groupoid associated to any separable unital C*-algebra, termed the unitary conjugation groupoid. It is defined as the semidirect product of the algebra's dual space by its unitary group, acting by…
The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…
Let $G$ be a finite abelian group written multiplicatively, with $\hat{G} = G\sqcup \{0\}$ the pointed abelian group formed by adjoining an absorbing element $0$. There is an associated finitary, proto-abelian category…
Denote by PSelf(X) (resp., Self(X)) the partial (resp., full) transformation monoid over a set X, and by Sub(V) (resp., End(V)) the collection of all subspaces (resp., endomorphisms) of a vector space V. We prove various results that imply…
We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of…
For a Frobenius abelian category $\mathcal{A}$, we show that the category ${\rm Mon}(\mathcal{A})$ of monomorphisms in $\mathcal{A}$ is a Frobenius exact category; the associated stable category $\underline{\rm Mon}(\mathcal{A})$ modulo…
A monoidal category has a natural isomorphism $\alpha_{A,B,C}\colon(A\otimes B)\otimes C\to A\times (B\otimes C)$ called the associator. In the case where the objects $(A\otimes B)\otimes C$ and $A\otimes(B\otimes C)$ are equal, it is…
We propose a new framework for the study of homological properties for (compactly generated) triangulated categories such as regularity, finiteness of global or finitistic dimension, gorensteinness or injective generation and the relation…