Updated Syntactic Infinity Groupoids definitions