Six model categories for directed homotopy

DOI10.52547/cgasa.15.1.145zbMath1496.18012arXiv1904.04159OpenAlexW2935237002MaRDI QIDQ5077344

Philippe Gaucher

Publication date: 18 May 2022

Published in: Categories and General Algebraic Structures with Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1904.04159

zbMATH Keywords

flowlocally presentable categorycombinatorial model category\(d\)-spaceaccessible model categoryenriched semicategorytopological model of concurrencyenriched non-unital category

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Accessible and locally presentable categories (18C35)

Related Items

Comparing cubical and globular directed paths ⋮ Homomorphism complexes, reconfiguration, and homotopy for directed graphs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Homotopy theory of Moore flows (II)

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bifibrations and weak factorisation systems
• The Bousfield localizations and colocalizations of the discrete model structure
• Homotopy theory of posets
• Mixing model structures
• On combinatorial model categories
• T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
• Categorical logic and type theory
• Model category structures in bifibred categories
• A model category for the homotopy theory of concurrency
• Strong cofibrations and fibrations in enriched categories
• On the construction of functorial factorizations for model categories
• Enriched diagrams of topological spaces over locally contractible enriched categories
• Injective and projective model structures on enriched diagram categories
• Accessible model categories
• Homotopical algebra
• The homotopy category is a homotopy category
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• Comparing globular complex and flow
• Multitensors as monads on categories of enriched graphs
• Homotopical interpretation of globular complex by multipointed d-space
• Homotopy Theories for Diagrams of Spaces
• Accessible Categories: The Foundations of Categorical Model Theory
• Classifying spaces and fibrations
• On fibrant objects in model categories
• Lifting accessible model structures
• Flows revisited: the model category structure and its left determinedness
• A necessary and sufficient condition for induced model structures
• A convenient category for directed homotopy