加载中…
We provide a general construction of induced -structures, that generalizes standard -structures for -categories of sheaves. More precisely, given a presentable -category and a presentable stable -category equipped with an accessible -structure , we show that is equipped with a canonical -structure whose coconnective part is given in . When is an -topos, we give a more explicit description of the connective part as well.

生成讲解博客的中文版本

生成AI智能校验的中文版本