Basic Data. We assume that is a presentable -category equipped with a fully faithful functor .
Original source: arXiv:1112.0040v6
Original source Β· 1112.0040v6
Basic Data. We assume that is a presentable -category equipped with a fully faithful functor .
Original source: arXiv:1112.0040v6
Original source Β· 1112.0040v6