last night i achieved topological enlightenment when i was thinking about simplicial sets. (1/) for those just joining, a simplicial set abstracts the combinatorial data of a topological space. the n-simplex is represented as the ordered set [n] = {0,1,2,…,n} and a simplicial map is a monotone function [n] -> [m] (2/)