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)