Improve the terminology for the hierarchy relation between categories
|Reported by:||nthiery||Owned by:|
|Report Upstream:||N/A||Work issues:|
On #10963, it was noted that the use of "subcategory" for the hierarchy relation between categories is abusive (implicit use of forgetfull functors) and can be confusing. The purpose of this ticket is to discuss a possible improvement to the terminology. While we are at it, we may want to improve the suboptimal "join" and "meet" terminology.
Change History (6)
comment:1 Changed 7 months ago by nthiery
- Summary changed from Improve the terminology for the hierarchy of categories to Improve the terminology for the hierarchy relation between categories