The following pages link to (Q4397218):
Displaying 6 items.
- Triposes, q-toposes and toposes (Q476121) (← links)
- Categorical (binary) difference terms and protomodularity (Q651386) (← links)
- Pointed protomodularity via natural imaginary subtractions (Q1020964) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q4933938) (← links)
