arXiv research

3D HQFTs constructed using graded monoidal categories.

The paper discusses strictification and non-strictification of monoidal categories.

It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is also a monoidal model category with all cofibrant objects being flat. In particu…

The paper constructs semistrict monoidal 2-categories from foam evaluations.

Using crossed homomorphisms, we show that the category of weak representations (resp. admissible representations) of Lie-Rinehart algebras (resp. Leibniz pairs) is a left module category over the monoidal category of representations of Lie algebras. In particular, the corresponding bifunctor of monoidal categories is e…

Involutive Hopf monoids yield surface invariants.

A new category generates 1D tangle invariants.

We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the e…

Monoidal categorifies genus zero skein algebra using K-theory.

Theory for algebraic data on categories via concentration structures.

It is well known that the opposite F^{op} of the category F of finitely generated free groups is a Lawvere theory for groups, and also that F is a free symmetric monoidal category on a commutative Hopf monoid, or, in other words, a PROP for commutative Hopf algebras. In this paper, we give a direct, combinatorial proof…

The Reshetikhin-Turaev invariant, Turaev's TQFT, and many related constructions rely on the encoding of certain tangles (n-string links, or ribbon n-handles) as n-forms on the coend of a ribbon category. We introduce the monoidal category of Hopf diagrams, and describe a universal encoding of ribbon string links as Hop…

Constructs non-unital monoidal category of contact manifolds and Legendrian correspondence calculus

Cube category simplifies set modeling.

We study two kinds of categorical traces of (monoidal) dg categories, with particular interest in categories of Soergel bimodules. First, we explicitly compute the usual Hochschild homology, or derived vertical trace, of the category of Soergel bimodules in arbitrary types. Secondly, we introduce the notion of derived …

Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings and diffeomorphism classes of planar open string worldsheets. Just as the categ…

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concept…

Develops graphical calculus for monoidal categories with twisted pivotal structures.

Internalizes Turaev's construction for TQFTs using ribbon categories.

Generative model for morphisms in free categories learns from wiring diagrams.

Functor connects 4D 2-handlebodies to ribbon categories, detecting non-deformation diffeomorphisms.

A modular functor is constructed from non-semisimple 3d TFTs.

We define a category $v\mathcal{T}$ of tangles diagrams drawn on surfaces with boundaries. On the one hand we show that there is a natural functor from the category of virtual tangles to $v\mathcal{T}$ which induces an equivalence of categories. On the other hand, we show that $v\mathcal{T}$ is universal among ribbon c…

It is shown that the multiplicative monoids of Temperley-Lieb algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a category whose arrows are matrices, and the functor adjoint to itself is based on the…

We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on a twin Frobenius algebra, by providing a description of this category in terms of generators and relations. A twin Frobenius algebra (C, W, z, z^*) consist…

We present some results supporting the Iwase-Sakai conjecture about coincidence of the topological complexity $TC(X)$ and monoidal topological complexity $TC^M(X)$. Using these results we provide lower and upper bounds for the topological complexity of the wedge $X\vee Y$. We use these bounds to give a counterexample t…

We construct a functor from the category of manifolds with generalized corners to the category of complexes of toric monoids, and for every `refinement' of the complex associated to a manifold, we show there is a unique `blow-up', i.e., a new manifold mapping to the original one, which satisfies a universal property an…

The monoids of simplicial endomorphisms, i.e. the monoids of endomorphisms in the simplicial category, are submonoids of monoids one finds in Temperley-Lieb algebras, and as the monoids of Temperley-Lieb algebras are linked to situations where an endofunctor is adjoint to itself, so the monoids of simplicial endomorphi…

Study shows $S^1$ algebraic structure in 2-dimensional CW-complex cobordisms.

The paper studies posets from decompositions in symmetric monoidal categories.

It is shown that the multiplicative monoids of Brauer's centralizer algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself, and where, moreover, a kind of symmetry involving the self-adjoint functor is satisfied. As in a previous paper, of …

We construct a categorification of the maximal commutative subalgebra of the type $A$ Hecke algebra. Specifically, we propose a monoidal functor from the (symmetric) monoidal category of coherent sheaves on the flag Hilbert scheme to the (non-symmetric) monoidal category of Soergel bimodules. The adjoint of this functo…

The paper constructs Yang-Baxter solutions using categorical augmented racks.

We introduce systems of objects and operators in linear monoidal categories called $\hat Ψ$-systems. A $\hat Ψ$-system satisfying several additional assumptions gives rise to a topological invariant of triples (a closed oriented 3-manifold $M$, a principal bundle over $M$, a link in $M$). This construction generalizes …

Study of generalized Legendrian racks and their GL-structures.

New algebraic presentations for 3D cobordisms and 4D 2-handlebodies.

Open 2D TFTs extend to closed theories with circle value as Hochschild homology.

We categorify the notion of an infinitesimal braiding in a linear strict symmetric monoidal category, leading to the notion of a (strict) infinitesimal 2-braiding in a linear symmetric strict monoidal 2-category. We describe the associated categorification of the 4-term relation, leading to six categorified relations. …

We introduce a complete set of combinatorial data that encode the category $2\mathfrak{Cob}$ of all $2$-cobordisms. As an application, we show that the local monoids of $2\mathfrak{Cob}$ do not have finitely axiomatizable equational theories. As yet another application, we construct a von-Neumann-regular extension of t…

In this paper we prove that every Khovanov homology associated to a Frobenius algebra of rank $2$ can be modified in such a way as to produce a TQFT on oriented links, that is a monoidal functor from the category of cobordisms of oriented links to the homotopy category of complexes.

New mapping class group actions on Hochschild complexes for modular categories.

Presentations of smooth symmetry groups of differentiable stacks are studied within the framework of the weak 2-category of Lie groupoids, smooth principal bibundles, and smooth biequivariant maps. It is shown that principality of bibundles is a categorical property which is sufficient and necessary for the existence o…

Quantum invariant derived from ternary cohomology of self-distributive structures.

Extends six operations to sheaves in any symmetric monoidal category.

By using the notion of a rigid R-matrix in a monoidal category and the Reshetikhin--Turaev functor on the category of tangles, we review the definition of the associated invariant of long knots. In the framework of the monoidal categories of relations and spans over sets, by introducing racks associated with pointed gr…

A Lie 2-group $G$ is a category internal to the category of Lie groups. Consequently it is a monoidal category and a Lie groupoid. The Lie groupoid structure on $G$ gives rise to the Lie 2-algebra $\mathbb{X}(G)$ of multiplicative vector fields, see (Berwick-Evans -- Lerman). The monoidal structure on $G$ gives rise to…

Functor connects Lie groupoid algebras to bornological structures.

Spider category comparison proves equivalence to Sikora's quotient category.