The following pages link to (Q5563362):
Displaying 9 items.
- Categories (Q1255566) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- Grothendieck universes (Q2113837) (← links)
- On the tensor product of well generated dg categories (Q2229962) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- Observability in the univalent universe (Q2675950) (← links)
- On the algebraic<i>K</i>-theory of higher categories (Q2797321) (← links)
- A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM (Q5052006) (← links)
- Derived \(F\)-zips (Q6543029) (← links)
