PInj
PInj is the category of sets and partial injections.
Partial injections are interesting because they are really partial bijections.
It is a wide sub-category of Rel, keeping only the morphisms that are functional.
It is one if not the simplest starting point to make a categorical model of GoI
Definition[edit | edit source]
This section is empty. Feel free to contribute to it!
Properties[edit | edit source]
This section is empty. Feel free to contribute to it!
Examples of use[edit | edit source]
This section is empty. Feel free to contribute to it!
References[edit | edit source]
Historical references:
This section is empty. Feel free to contribute to it!