License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06341.5
URN: urn:nbn:de:0030-drops-8989
Go to the corresponding Portal

Porter, Timothy

Enriched categories and models for spaces of dipaths

06341.PorterTimothy.Paper.898.pdf (0.6 MB)


Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order models `time' which is often not globally given. In this setting directed paths are important objects of study as they correspond to an evolving state or particle traversing the system. Many physical problems rely on the analysis of models of the path space of space-time manifold. Many problems in concurrent systems use `spaces' of paths in a system. Here we review some ideas from algebraic topology that suggest how to model the dipath space of a pospace by a simplicially enriched category.

BibTeX - Entry

  author =	{Porter, Timothy},
  title =	{{Enriched categories and models for spaces of dipaths}},
  booktitle =	{Computational Structures for Modelling Space, Time and Causality},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6341},
  editor =	{Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-8989},
  doi =		{10.4230/DagSemProc.06341.5},
  annote =	{Keywords: Enriched category}

Keywords: Enriched category
Collection: 06341 - Computational Structures for Modelling Space, Time and Causality
Issue Date: 2007
Date of publication: 26.02.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI