https://9pdf.info/document/yng6dw91-internal-groupoids.html