Non-Hausdorff $T_1$ Properties and Sociotechnical Infrastructure for Mathematics

Several weakenings of the $T_2$ property for topological spaces, including $k$-Hausdorff, $KC$, weakly Hausdorff, semi-Hausdorff, $RC$, and $US$, have been studied in the literature. Here we investigate how these properties do or do not relate to one another, and in doing so, illustrate and evaluate the role of technology in modern mathematics research.