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