Author: David_Corfield Format: MarkdownItexHaving encountered the third reference here, I was looking to find out what it was about, and got as far as this stub.
Seems to tie in interestingly with fracture squares and localization, so probably some modal HoTT about.
<a href="https://ncatlab.org/nlab/revision/stratified+category/1">v1</a>, <a href="https://ncatlab.org/nlab/show/stratified+category">current</a>
Having encountered the third reference here, I was looking to find out what it was about, and got as far as this stub.
Seems to tie in interestingly with fracture squares and localization, so probably some modal HoTT about.