Topological Lower Bounds on the Sizes of Simplicial Complexes and Simplicial Sets | Synapse