Skip to main content
Chenchang Zhu's user avatar
Chenchang Zhu's user avatar
Chenchang Zhu's user avatar
Chenchang Zhu
  • Member for 1 year, 11 months
  • Last seen this week
comment
Mapping space between $n$-groupoids is an $n$-groupoid
Jon, why would Lemma 2.14 help? I didn't get it..