Ordinary and directed combinatorial homotopy, applied to image analysic and concurrency

Marco Grandis
<span title="">2003</span> <i title="International Press of Boston"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s2zsit4n4zbxfo52y5v6mdfwk4" style="color: black;">Homology, Homotopy and Applications</a> </i> &nbsp;
Combinatorial homotopical tools developed in previous works, and consisting essentially of intrinsic homotopy theories for simplicial complexes and directed simplicial complexes, can be applied to explore mathematical models representing images, or directed images, or concurrent processes. An image, represented by a metric space X, can be explored at a variable resolution > 0, by equipping it with a structure t X of simplicial complex depending on ; this complex can be further analysed by
more &raquo; ... py groups π n (X) = π n (t X) and homology groups H n (X) = H n (t X). Loosely speaking, these objects detect singularities which can be captured by an ndimensional grid, with edges bound by ; this works equally well for continuous or discrete regions of euclidean spaces. Similarly, a directed image, represented by an "asymmetric metric space", produces a family of directed simplicial complexes s X and can be explored by the fundamental n-category ↑Π n (X) of the latter. The same directed tools can be applied to combinatorial models of concurrent automata, like Chu-spaces.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4310/hha.2003.v5.n2.a7">doi:10.4310/hha.2003.v5.n2.a7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zlrkqttuprfrhab4dd776p44dm">fatcat:zlrkqttuprfrhab4dd776p44dm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719201617/http://www.intlpress.com/site/pub/files/_fulltext/journals/hha/2003/0005/0002/HHA-2003-0005-0002-a007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/88/8d/888d45da95bdb30281022441791ec601686db00d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4310/hha.2003.v5.n2.a7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>