The following pages link to (Q5431514):
Displayed 8 items.
- Centers and homotopy centers in enriched monoidal categories (Q436127) (← links)
- Segal-type algebraic models of \(n\)-types (Q488573) (← links)
- Joyal's category \(\varTheta\) is a test category (Q626737) (← links)
- Algebraic models for higher categories (Q716491) (← links)
- A proof of the existence of Batanin's initial operad (Q2411670) (← links)
- Mathematical models of abstract systems: knowing abstract geometric forms (Q2448534) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- (Q3515398) (← links)