On the Category of Partial Bijections
Discrete Mathematics
2009-03-06 v1
Abstract
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 idempotent split is an exact category. Finally the Noether isomorphism theorems are given for this exact category.
Cite
@article{arxiv.0903.1017,
title = {On the Category of Partial Bijections},
author = {Emil Schwab},
journal= {arXiv preprint arXiv:0903.1017},
year = {2009}
}
Comments
8 pages, exposed on 2nd "European Conference on Computer Science & Applications" - XA2008, Timisoara, Romania