BINARY RELATIONS-ADDENDA 1 (KERNEL, RESTRICTIONS AND INDUCING, RELATIONAL MORPHISMS) release_mn4zz7dtvrelhmftlmbk3auir4

by Mihai Rebenciuc

Released as a article-journal .

2008   Volume 70

Abstract

Această lucrare (în două părţi) conţine unele completări la teoria relaţiilor binare într-un cadru extins prin operaţii categoriale generalizate-relativ la categoria neregulată a relaţiilor binare Rel.asociată categoriei regulate Set. Primele două completări din această parte a lucrării se referă la nucleul, respectiv la restricţiile şi indusa în mulţimi arbitrare a unei relaţii binare-în legătură cu operaţii de algebră Booleană şi categoriale generalizate Ultima completare constă într-o ierarhie de morfisme relaţionale în paralel în cazurile omogen şi neomogen la care se raportează şi noţiunea de (bi)simulare (generalizată pentru cazul neomogen)-esenţială în programarea concurentă. This paper(in two parts) contains some addenda to binary relations theory in a background witch is extended by generalized categorical operations-relative to the unregulated category of binary relations Rel associated with the regulate category Set. The first two addenda from this part of the paper refer to the kernel, respectively to the restrictions and the induced relation in arbitrary sets of a binary relation-in connection with Boolean algebra operations and generalized categorical operations. The last addendum consists in a hierarchy of relational morphisms in parallel in homogeneous and inhomogeneous cases to witch the notion of (bi)simulation (generalized for inhomogeneous case) is reported-important in concurrency programming.
In text/plain format

Archived Files and Locations

application/pdf  227.3 kB
file_bexxj4gr4jcedln3x2y4rpisou
web.archive.org (webarchive)
www.scientificbulletin.upb.ro (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   unknown
Year   2008
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 50653402-1fee-42ba-b0be-39fc5eb5d0fd
API URL: JSON