Search
❯
Feb 07, 20261 min read
A weak-infinity groupoid is a weak-infinity category which is a groupoid at every level.