Related papers: Span composition using fake pullbacks

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…

We continue our earlier investigation on generalized reproducing kernels, in connection with the complex geometry of $C^*$- algebra representations, by looking at them as the objects of an appropriate category. Thus the correspondence…

We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan…

The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…

Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…

We introduce the notion of a $(\Pi,\lambda)$-structure on a C-system and show that C-systems with $(\Pi,\lambda)$-structures are constructively equivalent to contextual categories with products of families of types. We then show how to…

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…

Let $M$ be a topological monoid with homotopy group completion $\Omega BM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $\pi_k (\Omega BM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its…

We investigate monoidal categories of formal contexts, in which states correspond to formal concepts. In particular we examine the category of bonds or Chu correspondences between contexts, which is known to be equivalent to the…

The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…

In this paper, we define the pullback crossed modules in the category of racks which mainly based on a pullback diagram of rack morphisms with extra crossed module data on some of its arrows. Furthermore we prove that the conjugation…

We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding…

We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories…

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…

A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from $m$ to $n$ in a PROP can be visualized as a string diagram with $m$ input wires and $n$…

We define fully exact module categories, a subclass of exact module categories over a finite braided tensor category that is stable under the relative Deligne product. In contrast, we demonstrate with examples in both zero and non-zero…