Restriction Categories: Pfn
Pfn is a restriction category; its arrows are partial maps and it contains Set as a subcategory with total maps. There are many subcategories, but only Set is the total subcategory of Pfn:
Total(Pfn) ≅ Set
restriction_categories: Pfn, Set
This data as json
| total_subcategory | partial_category |
|---|---|
| Set | Pfn |