minor
add stuff about join of simplicial sets