Merely Inhabited
A type
A
𝐴
A
is
merely inhabited
if its
Propositional Truncation
‖
A
‖
norm
𝐴
||A||
is inhabited.
Backlinks
Divisibility in a Semigroup
Adherent Point
Surjective Function
Semidirected Set
Directed Set
Positivity Predicate
Bourne Congruence
Wide Pullback
Torsor
Weakly Initial Family