The following pages link to (Q3876103):
Displaying 50 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos (Q338225) (← links)
- The fundamental pro-groupoid of an affine 2-scheme (Q385598) (← links)
- Fibred 2-categories and bicategories (Q393515) (← links)
- Tensor products of finitely cocomplete and abelian categories (Q405919) (← links)
- Spectra associated to symmetric monoidal bicategories (Q422100) (← links)
- Higher cohomologies of modules (Q422101) (← links)
- Completely and totally distributive categories. I. (Q456849) (← links)
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher'' Morita categories (Q502639) (← links)
- Monads in double categories (Q531324) (← links)
- On the regular representation of an (essentially) finite 2-group (Q531792) (← links)
- Central extensions of smooth 2-groups and a finite-dimensional string 2-group (Q538526) (← links)
- Languages for monoidal categories (Q584380) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Categorified quantum \(\mathfrak{sl}_2\) is an inverse limit of flag 2-categories (Q742484) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Cofibrations in the bicategory of topoi (Q790926) (← links)
- Categorification of algebraic quantum field theories (Q829948) (← links)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← links)
- Weak complicial sets. I: Basic homotopy theory (Q950425) (← links)
- Icons (Q987490) (← links)
- Variation through enrichment (Q1061829) (← links)
- Bicategories of spans and relations (Q1065921) (← links)
- Cofibrations. II: Left exact right actions and compositions of gamuts (Q1068181) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Local adjunctions (Q1120666) (← links)
- Proarrows and cofibrations (Q1120667) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Conspectus of variable categories (Q1156868) (← links)
- Two-dimensional sheaf theory (Q1160709) (← links)
- Pullback preserving functors (Q1176704) (← links)
- Flexible limits for 2-categories (Q1262939) (← links)
- Algebraic theories of quasivarieties (Q1273384) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- Modulated bicategories (Q1331914) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Monoidal bicategories and Hopf algebroids (Q1362171) (← links)
- van Kampen theorems for toposes (Q1413097) (← links)
- A coherent approach to pseudomonads (Q1578071) (← links)
- A representation result for free cocompletions (Q1584038) (← links)
- The universal property of the multitude of trees (Q1588060) (← links)
- Categories of representations of coalgebroids (Q1588380) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory (Q1647403) (← links)
- Sigma limits in 2-categories and flat pseudofunctors (Q1649333) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Lax colimits and free fibrations in \(\infty\)-categories (Q1677387) (← links)
- Which abelian tensor categories are geometric? (Q1692368) (← links)
