Editing 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 ==

{{ Empty section}}

== Properties ==

{{ Empty section}}

== Examples of use ==

{{ Empty section}}

== References ==

Historical references:

{{ Empty section}}