Cubical approximation for directed topology. I

DOI10.1007/s10485-013-9330-yzbMath1357.18002arXiv1012.0509OpenAlexW2102157162MaRDI QIDQ2350094

Sanjeevi Krishnan

Publication date: 18 June 2015

Published in: Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

simplicial setcubical setditopologydihomotopy

Mathematics Subject Classification ID

Homotopy theory (55P99) Special categories (18B99)

Related Items (7)

Topological abstraction of higher-dimensional automata ⋮ A Hurewicz Model Structure for Directed Topology ⋮ The uniform homotopy category ⋮ Simplicial Models for Concurrency ⋮ Streams, d-Spaces and Their Fundamental Categories ⋮ The geometry of conservative programs ⋮ A co-reflection of cubical sets into simplicial sets with applications to model structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simplicial models of trace spaces
• A convenient category of locally preordered spaces
• Inequilogical spaces, directed homology and noncommutative geometry
• Components of the fundamental category. II
• Ordinal subdivision and special pasting in quasicategories
• Algebraic topology and concurrency
• Configuration-spaces and iterated loop-spaces
• Dipaths and dihomotopies in a cubical complex
• Simple connectedness of spacetime in the path topology
• Continuous Lattices and Domains
• Simplicial homotopy theory

This page was built for publication: Cubical approximation for directed topology. I