Identity Types & Groupoids Written by James B. Wilson Jan 13, 2026 Quick Sylver ← Previous Adjoint Tensor Next → Related Docs