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