zoom complexes are a semicategory