On the Category of Partial Bijections
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an inverse-Baer*-category with closed projections and in which the idempotents s...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Mirton Publishing House, Timisoara
2008-01-01
|
| Series: | Anale: Seria Informatică |
| Online Access: | http://anale-informatica.tibiscus.ro/download/lucrari/6-1-18-Schwab.pdf |