Related papers: Bi-accessible and bipresentable 2-categories

We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…

Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…

We develop Morita theory for finitary additive 2-representations of finitary 2-categories. As an application we describe Morita equivalence classes for 2-categories of projective functors associated to finite dimensional algebras and for…

A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…

We show that the biflatness - in the sense of A. Ya. Helemskii - of the Fourier algebra $A(G)$ of a locally compact group $G$ forces $G$ to either have an abelian subgroup of finite index or to be non-amenable without containing $F_2$, the…

We give an explicit description of the generator of finitely presented objects of the coslice of a locally finitely presentable category under a given object, as consisting of all pushouts of finitely presented maps under this object. Then…

We present two applications of the concept of higher idempotent completion to higher categories relevant in link homology theory and higher representation theory. We show that singular Soergel bimodules can be recovered from Soergel…

We investigate accessible subgroups of a profinite group $G$, i.e. subgroups $H$ appearing as vertex groups in a graph of profinite groups decomposition of $G$ with finite edge groups. We prove that any accessible subgroup $H \leq G$ arises…

Definable subcategories may be extended along a ring homomorphism directly, by using their defining conditions in the new module category, or by tensoring up with the new ring. We investigate what is preserved and reflected by these…

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…

Given Gray-categories $P$ and $L$, there is a Gray-category $\mathrm{Tricat}_{\mathrm{ls}}(P,L)$ of locally strict trihomomorphisms with domain $P$ and codomain $L$, tritransformations, trimodifications, and perturbations. If the domain $P$…

We generalize to dimension 2 the well-known fact that a colimit in a 1-dimensional slice is precisely the map from the colimit of the domains of the diagram that is induced by the universal property. For this, we find the need to reduce…

We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…

Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this…

We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax…

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…

In a previous paper we introduced the concept of semiseparable functor. Here we continue our study of these functors in connection with idempotent (Cauchy) completion. To this aim, we introduce and investigate the notions of (co)reflection…

We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for…

Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of $(\max,\min)$-idempotent biconvex compacta and their biaffine…