Pages that link to "Item:Q2253183"
From MaRDI portal
The following pages link to Category theoretic structure of setoids (Q2253183):
Displaying 14 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Constructions of categories of setoids from proof-irrelevant families (Q512135) (← links)
- Constructing categories and setoids of setoids in type theory (Q2921123) (← links)
- Some proposals for the set-theoretic foundations of category theory (Q2926202) (← links)
- (Q3344336) (← links)
- (Q3527480) (← links)
- (Q3527490) (← links)
- (Q3717028) (← links)
- Totally Categorical Structures (Q3827994) (← links)
- (Q4309354) (← links)
- (Q4370241) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- (Q5875349) (← links)
- Causal Unfoldings and Disjunctive Causes (Q6135752) (← links)