Search
❯
Jan 31, 20261 min read
2-categoires but where the object level doesn’t commute because it’s only up to isomorphism.