Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1 1998

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: regular and extremal epimorphisms

Sortuj według:

Ogranicz wyniki do:

Epimorphic functors

Bednarczyk M., Borzyszkowski A., Pawłowski W.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1998

nr 864

3-36

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.