groupoid (npm): Groupoid Infinity Institute
Keywords: hit|induction|mltt|path|pi|sigma