Related papers: Associahedral categories, particles and Morse func…

This is mostly an overview. Given finitely presentable abelian categories $A$ and $B$, we sketch the construction of an abelian category of continuous functors from $A$ to $B$ that has nice $2$-categorical behaviour and gives an explicit…

The analogy between Yetter's deformation theory form (lax) monoidal functors and Gerstenahaber's deformation theory for associative algebras is solidified by shown that under reasonable conditions the category of functors with an action of…

We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected…

This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from…

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

In this paper, we construct cochain complexes generated by the cohomology of critical manifolds in the abstract setup of flow categories for Morse-Bott theories under minimum transversality assumptions. We discuss the relations between…

A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has…

A double category is constructed from a `fattened' version of a given category, motivated in part by a context of parallel transport. We also study monoidal structures on the underlying category and on the fattened category.

We extend discrete Morse-Bott theory to the setting of loop-free (or acyclic) categories. First of all, we state a homological version of Quillen's Theorem A in this context and introduce the notion of cellular categories. Second, we…

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

The sectional category of a subgroup inclusion $H \hookrightarrow G$ can be defined as the sectional category of the corresponding map between Eilenberg--MacLane spaces. We extend a characterization of topological complexity of aspherical…

The well-known Lawvere category R of extended real positive numbers comes with a monoidal closed structure where the tensor product is the sum. But R has another such structure, given by multiplication, which is *-autonomous. Normed sets,…

We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical…

For a compact complex manifold, we introduce holomorphic foliations associated with certain abelian subgroups of the automorphism group. Such foliations are generalizations of holomorphic principal torus bundles. If there exists a…

The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's…

In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…

We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial…

We construct an equivariant version of discrete Morse theory for simplicial complexes endowed with group actions. The key ingredient is a 2-categorical criterion for making acyclic partial matchings on the quotient space compatible with an…

In this article we establish the foundations of the Morita homotopy theory of C*-categories. Concretely, we construct a cofibrantly generated simplicial symmetric monoidal Quillen model structure M_Mor on the category C*cat1 of small unital…