Search Results

Documents authored by Porter, Timothy


Document
Enriched categories and models for spaces of dipaths

Authors: Timothy Porter

Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)


Abstract
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.

Cite as

Timothy Porter. Enriched categories and models for spaces of dipaths. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{porter:DagSemProc.06341.5,
  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 =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.5},
  URN =		{urn:nbn:de:0030-drops-8989},
  doi =		{10.4230/DagSemProc.06341.5},
  annote =	{Keywords: Enriched category}
}
Document
A geometry of information, I: Nerves, posets and differential forms

Authors: Jonathan Gratus and Timothy Porter

Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)


Abstract
The main theme of this workshop is 'Spatial Representation: Continuous vs. Discrete'. Spatial representation has two contrasting but interacting aspects (i) representation \emph{of} spaces' and (ii) representation \emph{by} spaces. In this paper we will examine two aspects that are common to both interpretations of the theme, namely nerve constructions and refinement. Representations change, data changes, spaces change. We will examine the possibility of a 'differential geometry' of spatial representations of both types, and in the sequel give an algebra of differential forms that has the potential to handle the dynamical aspect of such a geometry. We will discuss briefly a conjectured class of spaces, generalising the Cantor set which would seem ideal as a test-bed for the set of tools we are developing.

Cite as

Jonathan Gratus and Timothy Porter. A geometry of information, I: Nerves, posets and differential forms. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{gratus_et_al:DagSemProc.04351.6,
  author =	{Gratus, Jonathan and Porter, Timothy},
  title =	{{A geometry of information, I: Nerves, posets and differential forms}},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4351},
  editor =	{Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.6},
  URN =		{urn:nbn:de:0030-drops-1268},
  doi =		{10.4230/DagSemProc.04351.6},
  annote =	{Keywords: Chu spaces , nerves , differential forms}
}
Document
A geometry of information, II: Sorkin models, and biextensional collapses

Authors: Jonathan Gratus and Timothy Porter

Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)


Abstract
In this second part of our contribution to the workshop, we look in more detail at the Sorkin model, its relationship to constructions in Chu space theory, and then compare it with the Nerve constructions given in the first part.

Cite as

Jonathan Gratus and Timothy Porter. A geometry of information, II: Sorkin models, and biextensional collapses. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{gratus_et_al:DagSemProc.04351.7,
  author =	{Gratus, Jonathan and Porter, Timothy},
  title =	{{A geometry of information, II: Sorkin models, and biextensional collapses}},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4351},
  editor =	{Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.7},
  URN =		{urn:nbn:de:0030-drops-1271},
  doi =		{10.4230/DagSemProc.04351.7},
  annote =	{Keywords: Chu space , Sorkin model , Nerve}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail