Search results
Unsatisfied properties: trivial
No categories found because the requirements are inconsistent:
- binary products ∧ inhabited ⟹ cosifted
- cosifted ⟹ connected
- connected ∧ groupoid ⟹ strongly connected
- binary products ⟹ binary powers
- groupoid ⟹ right cancellative
- binary powers ∧ right cancellative ⟹ thin
- strongly connected ∧ thin ⟹ trivial