replacing "sort-of-simplicial" -> "cone-product", although I was rather fond of "sort-of-simplicial"; this isn't kvetching about your comment -- I was already planning on axing "sort-of-simplicial"

(binary:application/pdf)