Go back to the tag's page.
Tags: Added new tags
More language for admissible subcategories Also clarify an argument in equiv