PO-rozmaitości: w pogoni za dobrym topologicznym modelem dla współbieżności.
Kompleksy kostkowe (cubical complexes) są naturalnym bliskim uogólnieniem automatów wyżej
wymiarowych; przestrzenie lokalnie uporządkowane (local po-spaces) są ich bardzo dalekim
uogólnieniem. Jako model współbieżności te pierwsze są zbyt ograniczające (podam przykłady)
a te drugie o wiele zbyt ogólne.
Zaproponuję nowy model, tzw. PO-rozmaitości, konstruowany na podobieństwo klasycznych
rozmaitości ze strukturą (np. rozmaitości gładkich). Jest to kategoria istotnie większa
od kompleksów kostkowych i istotnie mniejsza od przestrzeni lokalnie uporządkowanych.
Zasugeruję (bez szczegółów) pewne możliwości wykorzystania jej do modelowania współbieżności.
|
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum 2002 / 2003 \ 17.10.2002 Stefan Sokołowski
