Quotient Models of a Category up to Directed Homotopy
نویسنده
چکیده
Directed Algebraic Topology is a recent field, deeply linked with ordinary and higher dimensional Category Theory. A ‘directed space’, e.g. an ordered topological space, has directed homotopies (which are generally non reversible) and a fundamental category (replacing the fundamental groupoid of the classical case). Finding a simple possibly finite model of the latter is a non-trivial problem, whose solution gives relevant information on the given ‘space’; a problem which is of interest for applications as well as in general Category Theory. Here we continue the work “The shape of a category up to directed homotopy”, with a deeper analysis of ‘surjective models’, motivated by studying the singularities of 3dimensional ordered spaces.
منابع مشابه
The Shape of a Category up to Directed Homotopy
This work is a contribution to a recent field, Directed Algebraic Topology. Categories which appear as fundamental categories of ‘directed structures’, e.g. ordered topological spaces, have to be studied up to appropriate notions of directed homotopy equivalence, which are more general than ordinary equivalence of categories. Here we introduce past and future equivalences of categories—sort of ...
متن کاملAcyclicity versus Total Acyclicity for Complexes over Noetherian Rings
It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck’s duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of ac...
متن کاملModels and van Kampen theorems for directed homotopy theory
We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no direct analog of the fundamental group. However, they do assemble into a category, called the fundamental category. We define models of the fundamental categ...
متن کاملHopfological algebra and categorification at a root of unity: the first steps
Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could...
متن کاملModelling fundamental 2-categories for directed homotopy (*)
Directed Algebraic Topology is a recent field, deeply linked with ordinary and higher dimensional Category Theory. A 'directed space', e.g. an ordered topological space, has directed homotopies (generally non reversible) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). Finding a simple model of the latter is a non-trivial problem, whose solution gives r...
متن کامل