Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 1998

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebraic topology

Sortuj według:

Ogranicz wyniki do:

Point glueing in cpo-s

Sokołowski S.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1998

nr 863

3-22

This report explains how to factor partial orders to get quotient partial orders and how to factor cpo-s to get quotient cpo-s. This is supplemented by an important issue of collapsing the cpo-s to simpler ones. The motivations for this research come from investigations of concurrent processes addressed elsewhere. However, the article may be read independently of these motivations.

W tej pracy wyjasniam jak dzielić porządki częściowe przez relacje równoważności, żeby otrzymać porządki częściowe oraz jak dzielić zupełne łańcuchowo porządki częściowe (cpo-ty) przez relacje równoważności, żeby otrzymać cpo-ty. Dalej omawiam ważne zagadnienie kolapsowania cpo-tów do prostszej postaci. Motywacje pochodzą z omawianych gdzie indziej badań procesów współbieżnych. Jednak niniejszy artykuł można czytać niezależnie od tych motywacji.

On T-modifications of mappings into surfaces

Karno Z.

Bulletin of the Polish Academy of Sciences. Mathematics

1998

Vol. 46, no 4

345-350

It is shown that if X is a compact 2-dimensional polyhedron and if f is a mapping of X to a surface M, then f x id[sub Ik] (f x id[sub Sk], respectively) is essential for every [k is greater than or equal to 0] if and only if each T-modification of f is essential.