Identity Types & Groupoids Written by James B. Wilson Apr 15, 2024 Quick Sylver ← Previous Adjoint Tensor Next → Related Docs