which are generalizations of posets used in type theory[1]. Another notable advancement is the establishment of a constructive Kan–Quillen model structure for simplicial sets. This model ...

Type D—the D stands for “distressed”—is described as a combination of being inhibited in social situations and tending to experience negative emotions. The concept of Type D is distinct ...