Directed algebraic topology and higher dimensional transition systems

zbMath1250.18004arXiv0903.4276MaRDI QIDQ634450

Philippe Gaucher

Publication date: 2 August 2011

Published in: The New York Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

locally presentable categorytopological categorymodel categorydirected homotopyhigher-dimensional transition systemlabelled symmetric precubical setMilner calculus of communicating systemssmall-orthogonality class

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Accessible and locally presentable categories (18C35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Functor categories, comma categories (18A25)

Related Items (1)

The geometry of conservative programs

This page was built for publication: Directed algebraic topology and higher dimensional transition systems