Related papers: S-Structures for k-linear categories and the defin…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…
We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…
Let $\left( H,R\right) $ be a finite dimensional semisimple and cosemisimple quasi-triangular Hopf algebra over a field $k$. In this paper, we give the structure of irreducible objects of the Yetter-Drinfeld module category ${}…
Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, and every simple object V is strongly simple, meaning that (V)…
Modular categories are a well-known source of quantum 3-manifold invariants. In this paper we study structures on modular categories which allow to define refinements of quantum 3-manifold invariants involving cohomology classes or…
We develop geometric approach to A-infinity algebras and A-infinity categories based on the notion of formal scheme in the category of graded vector spaces. Geometric approach clarifies several questions, e.g. the notion of homological unit…
The goal of this paper is to find a close to isomorphic presentation of 3-manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of…
We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of…
In a previous work by the author it was shown that every finite dimensional algebraic structure over an algebraically closed field of characteristic zero K gives rise to a character $K[X]_{aug}\to K$, where $K[X]_aug$ is a commutative Hopf…
One of the most fundamental problems in the theory of finite- dimensional Hopf algebras is their classification over an algebraically closed field k of characteristic 0. This problem is extremely difficult, hence people restrict it to…
The goal of this work is to describe a categorical formalism for (Extended) Topological Quantum Field Theories (TQFTs) and present them as functors from a suitable category of cobordisms with corners to a linear category, generalizing 2d…
We show that reasonably well behaved 3d and 4D TQFts must contain certain algebraic structures. In 4D, we find both Hopf categories and trialgebras.
We use categories of representations of finite dimensional quantum groupoids (weak Hopf algebras) to construct ribbon and modular categories that give rise to invariants of knots and 3-manifolds.
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an…
We define a hierarchy functor from the exact symplectic cobordism category to a totally ordered set from a $BL_\infty$ (Bi-Lie) formalism of the rational symplectic field theory (RSFT). The hierarchy functor consists of three levels of…
A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…
We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…
We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…