Related papers: Inductive Lusternik-Schnirelmann category in a mod…

We explain how categories, and groupoids, can be seen as models for a Lawvere ${\mathfrak Gr}$-theory, where ${\mathfrak Gr}$ is the category of graphs, and show that for Lawvere ${\mathfrak Gr}$-theories finitely presentable models are…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…

There are many ways to present model categories, each with a different point of view. Here we'd like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular…

In [Ben13], the notion of logically distributive category has been introduced to provide a sound and complete semantics to multi-sorted first-order logical theories based on intuitionistic logic. In this note, it will be shown that the…

We study several notions of dimension for (pre-)triangulated categories naturally arising from topology and symplectic geometry. We prove new bounds on these dimensions and raise several questions for further investigation. For instance, we…

Following the concept of topological theory of S.~E.~Rodabaugh, this paper introduces a new approach to (lattice-valued) bornology, which is based in bornological theories, and which is called variety-based bornology. In particular,…

The notion of movability for metrizable compacts was introduced by K.Borsuk. In this paper we define the notion of movable category and prove that the movability of a topological space $X$ coincides with the movability of a suitable…

Let $X$ be a rationally elliptic space. Utilizing the Gorenstein algebra structure of $X$, we present three algorithms that together induce a generating class of $Ext^N_{(\Lambda V,d)}(\mathbb{Q},(\Lambda V,d))$ with $N$ being the formal…

The goal of this paper is to design a causal inference method accounting for complex interactions between causal factors. The proposed method relies on a category theoretical reformulation of the definitions of dependent variables,…

The notion of relative derived category with respect to a subcategory is introduced. A triangle-equivalence, which extends a theorem of Gao and Zhang [Gorenstein derived categories, \emph{J. Algebra} \textbf{323} (2010) 2041-2057] to the…

For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…

We introduce a notion of categorical homotopic distance between functors by adapting the notion of homotopic distance in topological spaces, recently defined by the authors to the context of small categories. Moreover, this notion…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

In this work we extend the Mackey's theory of induced unitary representations on a wide class of Krein-isometric induced representations in Krein spaces. The subgroup theorem and the Kronecker product theorem are shown to be valid for the…

In this paper, we go into the study of the 2-category SSS_\Sigma of \Sigma-constructible stacks. The notions of constructible stack was introduced by D. Treumann. It is a natural generalization of constructible sheaf. D. Treumann has also…

In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…

We introduce the notion of $\mathcal{M}$-locally generated category for a factorization system $(\mathcal{E},\mathcal{M})$ and study its properties. We offer a Gabriel-Ulmer duality for these categories, introducing the notion of nest. We…

The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a…

We prove that the category of trees $\Omega$ is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that…