The following pages link to (Q4286320):
Displaying 6 items.
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Algebraic sets of universal algebras and algebraic closure operator (Q2404812) (← links)
- (Q3218277) (← links)
- (Q4301558) (← links)
- On the unification problem for Cartesian closed categories (Q4358059) (← links)
- (Q4392101) (← links)