The following pages link to (Q4011722):
Displaying 4 items.
- Categorical logic and type theory (Q1279608) (← links)
- On the unity of algebra and logic (Q3803296) (← links)
- Syntactic characterizations of various classes of locally presentable categories (Q5939609) (← links)
- Constructing coproducts in locally Cartesian closed \(\infty\)-categories (Q6039222) (← links)