Related papers: Biequivalences in tricategories

We show that braided, sylleptic and symmetric monoidal bicategories are precisely the $\mathsf{E}_k$-monoids in the cartesian monoidal $(\infty,1)$-category of bicategories for respective integers $k$. To manage the underlying computations,…

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic)…

In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. In particular, we show that every Frobenius object in a monoidal category M arises from an ambijunction…

We introduce a linear algebraic object called a bidiagonal triple. A bidiagonal triple consists of three diagonalizable linear transformations on a finite-dimensional vector space, each of which acts in a bidiagonal fashion on the…

We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…

The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$…

We give a definition of an operad with general groups of equivariance suitable for use in any symmetric monoidal category with appropriate colimits. We then apply this notion to study the 2-category of algebras over an operad in Cat. We…

The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things,…

Bisets can be considered as categories. This note uses this point of view to give a simple proof of a Mackey-like formula expressing the tensor product of two induced bimodules.

This paper generalizes the normally ordered tensor product from Tate vector spaces to Tate objects over arbitrary exact categories. We show how to lift bi-right exact monoidal structures, duality functors, and construct external Homs. We…

We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic…

We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

In this study, internal categories in the category of the crossed modules are characterized and it has been shown that there is a natural equivalence between the category of the crossed modules over crossed modules, i.e. crossed squares,…

We show how to construct a Gamma-bicategory from a symmetric monoidal bicategory, and use that to show that the classifying space is an infinite loop space upon group completion. We also show a way to relate this construction to the classic…

We study the combinatorics of an analogue of Green's $\mathcal{J}$-relation (a.k.a. the two-sided relation) for the bicategory of finite-dimensional bimodules over finite-dimensional associative algebras over a fixed field. In particular,…

We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids

Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the…