Related papers: A characterization of representable intervals

Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…

EI-categories are a simultaneous generalisation of finite groups and finite quivers without oriented cycles. It is therefore a natural question to ask for a characterisation of finite representation type. For special classes of…

We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in…

Let X be a locally compact space, and let A and B be Co(X)-algebras. We define the notion of an asymptotic Co(X)-morphism from A to B and construct representable E-theory groups RE(X;A,B). These are the universal groups on the category of…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

Given a homotopy Lie algebra (i.e. an $L_\infty$-algebra) $\mathfrak{g}$, we show concretely how the Lada-Markl $\mathfrak{g}$-modules (i.e. representations) assemble into a symmetric monoidal dg-category. Considering the homotopy…

Given a finite dimensional algebra $A$, we consider certain sets of idempotents of $A$, called self-injective cores, to which we associate 2-subcategories of the 2-category of projective bimodules over $A$. We classify the simple transitive…

Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that,…

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…

We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…

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,…

Consider a closed non-degenerate 3-form $\omega$ with an infinitesimal action of a Lie algebra $\mathfrak{g}$. Motivated by the fact that the observables associated to $\omega$ form a Lie 2-algebra, we introduce homotopy moment maps defined…

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…

In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain…

It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to representable multicategories, it goes without saying that…

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free…

We characterize the indecomposable injective objects in the category of finitely presented representations of an interval finite quiver.

We show that any multiple-valued function can be represented by a linear lambda term typed in a second-order polymorphic type system, using two distinct styles. The first is a circuit style, which mimics combinational circuits in switching…

We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal…

In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting…