Related papers: Sectional category \`a la Quillen

We introduce here a classification of unimodal maps $[0, 1]\rightarrow [0, 1]$, which commute with piecewise linear surjective maps $[0, 1]\rightarrow [0, 1]$. Remind that if continuous piecewise linear unimodal map $g$ commutes with a…

The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…

We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine…

We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over…

We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

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…

The term ``Boolean category'' should be used for describing an object that is to categories what a Boolean algebra is to posets. More specifically, a Boolean category should provide the abstract algebraic structure underlying the proofs in…

We give a characterisation of fragmentable, compact linearly order spaces. In particular, we show that if $K$ is a compact, fragmentable, linearly ordered space then $K$ is a Radon-Nikod\'{y}m compact. In addition, we obtain some…

This is an expository paper which presents the holomorphic classification of rational complex surfaces from a simple and intuitive point of view, which is not found in the literature. Our approach is to compare this classification with the…

We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…

In this article we describe the triangulated structure of the bounded derived category of a gentle algebra by describing the triangles induced by the morphisms between indecomposable objects in a basis of their Hom-space.

This paper systematically develops a notion of regular sequences in the context of $R$-linear triangulated categories for a graded-commutative ring $R$. The notion has equivalent characterizations involving Koszul objects and local…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

Greenlees established an equivalence of categories between the homotopy category of rational SO(3)-spectra and the derived category DA(SO(3)) of a certain abelian category. In this paper we lift this equivalence of homotopy categories to…

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

We define Quillen model structures on a family of presheaf toposes arising from tree unravellings of Kripke models, leading to a homotopy theory for modal logic. Modal preservation theorems and the Hennessy-Milner property are revisited…

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality, which has a limited version of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed…