A model category for local po-spaces

DOI10.4310/HHA.2006.v8.n1.a10zbMath1093.55007arXivmath/0506352MaRDI QIDQ2488617

Krzysztof Worytkiewicz, Peter Bubenik

Publication date: 11 May 2006

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

concurrencysheavesmodel categorysimplicial presheavesdihomotopyabstract homotopy categorylocal po-space

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ordered sets (06A99) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items (5)

Topological abstraction of higher-dimensional automata ⋮ Simplicial Models for Concurrency ⋮ The geometry of conservative programs ⋮ A Fibration Category of Local Pospaces ⋮ A convenient category of locally preordered spaces

This page was built for publication: A model category for local po-spaces