저 방금 위대한 재발견했어요.
모형범주는 subclass를 그룹오이드화하는 과정으로 localization이 되는거고
Subcategory의 groupoidification이라고 볼수 있어요.
Higher category의 Kan level에서 내제되는 방식으로 localization을 하지않고도 해당 모형을 표현가능하구요

0

If you have a fediverse account, you can quote this note from your own instance. Search https://buttersc.one/notes/agi5k4n58h on your instance and quote it. (Note that quoting is not supported in Mastodon.)