https://123dok.net/document/zlg18dnr-ordered-groupoids-and-étendues.html