2026-08-15T05:28:58Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:898 2024-03-06T11:07:02Z ddc:004 open_access

Enriched categories and models for spaces of dipaths Porter, Timothy Enriched category 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Timothy Porter 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06341.5 urn:nbn:de:0030-drops-8989 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.5 eng https://creativecommons.org/licenses/by/4.0/legalcode