Related papers: Quasi-unital $\infty$-Categories

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

We study the canonical orbit category of the bounded derived category of finite dimensional representations of the quiver of type $D_{\infty}$. We prove that this orbit category is a cluster category, that is, its cluster-tilting…

In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…

We functorially identify similarity classes of line-bundle-valued quadratic forms on rank two vector bundles with isomorphism classes of pairs consisting of the degree zero and the degree one parts of the associated generalized Clifford…

We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\mathrm{K}$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a…

The article is developing homological algebra in modules over non-unital rings and algebras. The main application is the definition and study of (directed) homology of $(\infty,1)$-categories and of directed spaces, including relative…

We construct nontrivial homomorphisms from the quasi group of some cubic surfaces over $\bbF_{\!p}$ into a group. We show experimentally that the homomorphisms constructed are the only possible ones and that there are no nontrivial…

For a finite group $G$, we define the $G$-cobordism category in dimension two. We show there is a one-to-one correspondence between the connected components of its classifying space and the abelianization of $G$. Also, we find an…

We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($ttt$-$\infty$-categories). Under a…

Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$.…

We introduce a handy construction of cluster algebras of type $\mathbb{A}_{\infty}$, we give a complete classification of the cluster algebras arising from the infinity-gon, and finally we construct the category of the diagonals of the…

A series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable…

We show that every continuous homogeneous quasimorphism on a finite-dimensional 1-connected simple Lie group arises as the relative growth of any continuous bi-invariant partial order on that group. More generally we show, that an arbitrary…

We classify the category of finite-dimensional real division composition algebras having a non-abelian Lie algebra of derivations. Our complete and explicit classification is largely achieved by introducing the concept of a…

We construct Quillen equivalent semi-model structures on the categories of dg-Lie algebroids and $L_\infty$-algebroids over a commutative dg-algebra in characteristic zero. This allows one to apply the usual methods of homotopical algebra…

Coclass theory has been a highly successful approach towards the investigation and classification of finite nilpotent groups. Here we suggest a similar approach for finite nilpotent semigroups. This differs from the group theory setting in…

The homotopy category of the bordism category $hBord_d$ has as objects closed oriented $(d-1)$-manifolds and as morphisms diffeomorphism classes of $d$-dimensional bordisms. Using a new fiber sequence for bordism categories, we compute the…

The Deligne category of symmetric groups is the additive Karoubi closure of the partition category. It is semisimple for generic values of the parameter t while producing categories of representations of the symmetric group when modded out…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

This paper provides a solution to the open problen formulated in Glotko and Kuzminov article, as well as examples of non-strict universal epimorphisms and monomorphisms.