The following pages link to (Q3978985):
Displaying 10 items.
- Facets of descent. I (Q1332450) (← links)
- Interpolation property for bicartesian closed categories (Q1337501) (← links)
- Descent on 2-fibrations and strongly 2-regular 2-categories (Q1771117) (← links)
- Proof of a conjecture of A. Pitts (Q1818641) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- (Q3139897) (← links)
- Convenient category of processes and simulations I: Modulo strong bisimilarity (Q5057463) (← links)
- Cauchy completeness, lax epimorphisms and effective descent for split fibrations (Q6178477) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- A 2-categorical proof of Frobenius for fibrations defined from a generic point (Q6620018) (← links)