3 ms·Groupoids, a generalization of groups, factor heavily into type theory!by tel 10y agoGroupoids, a generalization of groups, factor heavily into type theory!