Coslice Category
Backlinks
Wedge Sum of Pointed Types
Category of Pointed Sets
Localization of a Ring
Domain Opfibration