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