Related papers: Homotopy invariants in small categories
Using the formalism of Grothendieck's derivators, we construct `the universal localizing invariant of dg categories'. By this, we mean a morphism U_l from the pointed derivator associated with the Morita homotopy theory of dg categories to…
The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an…
The purpose of this paper is to give some solutions for the classification problem in fibration theory by using the homotopy sequences of fibrations (sequences of $n$-th homotopy groups $ \pi_{n}(S,s_{o}) $ of total spaces of fibrations).…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a…
We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative…
This work was intended as an attempt to investigate a model of irreversible process and natural phenomena. For this, we introduce the notion of irreversible path (that for brevity we write ir-path), ir-homotopy, ir-contractible space, and…
The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…
Given a manifold $M$ and a proper sub-bundle $\Delta\subset TM$, we study homotopy properties of the horizontal base-point free loop space $\Lambda$, i.e. the space of absolutely continuous maps $\gamma:S^1\to M$ whose velocities are…
This article is concerned with three different homotopy theories of stratified spaces: The one defined by Douteau and Henriques, the one defined by Haine, and the one defined by Nand-Lal. One of the central questions concerning these…
In this paper, we show that two constructions form stacks: Firstly, as one varies the $\infty$-topos, $\mathcal{X}$, Lurie's homotopy theory of higher categories internal to $\mathcal{X}$ varies in such a way as to form a stack over the…
In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…
In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-L\"of…
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…
Let $(S, \n)$ be a commutative noetherian local ring and $\omega\in\n$ be non-zerodivisor. This paper deals with the behavior of the category $\mon(\omega, \cp)$ consisting of all monomorphisms between finitely generated projective…
The goal of the present paper is to compare, in a precise way, two notions of operads up to homotopy which appear in the literature. Namely, we construct a functor from the category of strict unital homotopy colored operads to the category…
We introduce two new algebraic invariants, the (co)homological distances between continuous maps, which provide computable lower bounds for the homotopic distance and strictly refine the classical cup-length estimates. We then define the…
Let $I$ be a small category with finite dimensional nerve, and $X\colon I\to Cat$ a diagram of small categories. We show that, under a "Reedy quasi-fibrancy condition", the homotopy limit of the geometric realization of $X$ is itself the…
We consider the category whose objects are filtered, or complete, $L_\infty$-algebras and whose morphisms are $\infty$-morphisms which respect the filtrations. We then discuss the homotopical properties of the Getzler-Hinich simplicial…
Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the…