Pointed Type
A
pointed type
is a type
X
𝑋
X
equipped with a designated element
p
t
:
X
:
𝑝
𝑡
𝑋
pt:X
.
Backlinks
Contractible
Smash Product of Pointed Types
Wedge Sum of Pointed Types
Category of Pointed Sets