Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Epimorficzne funktory
Języki publikacji
Abstrakty
The menagerie of epimorphisms in the category Cat of small categories is studied. The standard notion of a congruence on a category is generalized and used subsequently to introduce the notion of a kernel of a functor, quotient category and quotient functor. Theory of concurrent processes seems to be a natural place to look for applications of the notions and results presented here in the area of computer science. As an example we show how a construction that leads the notion of trace introduced by Mazurkiewicz can be explained within our framework.
Celem pracy jest podanie charakteryzacji epimorfizmów w Cat, to jest w kategorii małych kategorii. Punktem wyjścia jest uogólnienie znanego w literaturze pojęcia kongruencji. Uogólnione kongruencje pozwalają wprowadzić pojęcie jądra funktora jako kongruencji, tudzież kategorii ilorazowej i funktora ilorazowego. Naturalnym miejscem do poszukiwania zastosowań wprowadzonych w pracy pojęć i rezultatów w informatyce teoretycznej, wydaje się być teoria procesów współbieżnych. Dla przykładu pokazujemy iż konstrukcję śladów Mazurkiewicza wyjaśnić można na gruncie prezentowanej teorii.
Wydawca
Rocznik
Tom
Strony
3--36
Opis fizyczny
Twórcy
autor
autor
autor
- Institute of Computer Science Gdańsk Branch Abrahama 18 81-825 Sopot, Poland, M.Bednarczyk@ipipan.gda.pl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0005-0015