Related papers: Span composition using fake pullbacks
For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…
We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of…
The aim of this paper is to investigate the homology groups of mathematical models of concurrency. We study the Baues-Wirsching homology groups of a small category associated with a partial monoid action on a set. We prove that these groups…
Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is…
We introduce stratified toposes, which are toposes that are stratified by a suitable hierarchy of universes. The term `stratified topos' recalls the notion of stratified pseudotopos of Moerdijk and Palmgren (2002). However, the details of…
The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent…
We associate, in a functorial way, a monoidal bicategory $\mathsf{Span}| \mathcal V$ to any monoidal bicategory $\mathcal V$. Two examples of this construction are of particular interest: Hopf polyads (due to Brugui\`eres) can be seen as…
In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M-functors and M-morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic character of…
A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categorical theory of partial algebras endowed with a partial…
Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M,boundary of M) can be recovered from the configuration category of the interior of M. The grouplike monoid of…
We construct the homotopy pullback of $A_n$-spaces and show some universal property of it. As the first application, we review the Zabrodsky's result which states that for each prime $p$, there is a finite CW complex which admits an…
We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius…
We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem…
We construct a rational homotopy pullback decomposition for variants of the classifying space of the group of homeomorphisms for a large class of manifolds. This has various applications, including a rational section of the stabilisation…
This work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. Skew monoidal closed categories represent a relaxed version…
Let $M$ be a monoid, $\mathscr{C}$ a category with pullbacks and $X$ an object of $\mathscr{C}$. We introduce the notion of a partial action $\alpha$ of $M$ on $X$ and study the globalization question for $\alpha$. If $\alpha$ admits a…
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…
We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…
Let $A \subseteq E$ be a given extension of Hopf (respectively Lie) algebras. We answer the \emph{classifying complements problem} (CCP) which consists of describing and classifying all complements of $A$ in $E$. If $H$ is a given…
The question of when the derived category of a ring satisfies Brown--Adams representability is revisited via studying the transfer of pure homological dimension along definable functors: it is shown that, for any ring, the pure global…