H-Proposition
Backlinks
Contractible
Weak Terminal Object
Concrete Category
Effective Quotient
Kleene Space