Epimorphic functors

• Autorzy: Bednarczyk M. , Borzyszkowski A. , Pawłowski W.

Warianty tytułu

PL

Epimorficzne funktory

• Języki publikacji: EN

Abstrakty

EN

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.

PL

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.

Słowa kluczowe

EN

category of (small) categories; generalized congruences; regular and extremal epimorphisms; transition systems; processes

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 1998
• Tom: nr 864
• Strony: 3--36

Twórcy

autor

Bednarczyk M.

autor

Borzyszkowski A.

autor

Pawłowski W.

• Institute of Computer Science Gdańsk Branch Abrahama 18 81-825 Sopot, Poland,