* Preprint : Directed algebraic topology and higher dimensional transition system
@ 2009-02-04 9:09 Gaucher Philippe
0 siblings, 0 replies; only message in thread
From: Gaucher Philippe @ 2009-02-04 9:09 UTC (permalink / raw)
To: categories
Dear all, here is a new preprint. Best regards. pg.
Title: Directed algebraic topology and higher dimensional transition system
Abstract :
Cattani-Sassone's notion of higher dimensional transition system is
interpreted as a small-orthogonality class of a locally finitely presentable
topological category of weak higher dimensional transition systems. In
particular, the higher dimensional transition system associated with the
labelled $n$-cube turns out to be the free higher dimensional transition
system generated by one $n$-dimensional transition. As a first application of
this construction, it is proved that the category of higher dimensional
transition systems is equivalent to a full reflective subcategory of the
category of labelled symmetric precubical sets. As a second application, it is
given a factorization of the mapping taking a CCS process name to a flow
through higher dimensional transition systems. The second application of this
paper can be easily adapted to other process algebras and to other topological
models of concurrency than the one of flows.
URL: http://www.pps.jussieu.fr/~gaucher/HDAparadigm.pdf
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-02-04 9:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-02-04 9:09 Preprint : Directed algebraic topology and higher dimensional transition system Gaucher Philippe
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).