Definition 4.39.2. Let $\mathcal{C}$ be a category. A category fibred in setoids is a category fibred in groupoids all of whose fibre categories are setoids.
Definition 4.39.2. Let $\mathcal{C}$ be a category. A category fibred in setoids is a category fibred in groupoids all of whose fibre categories are setoids.
Comments (0)