Pages that link to "Item:Q6149950"

The following pages link to Two-level type theory and applications (Q6149950):

Displaying 2 items.

• Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
• Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)