Pages that link to "Item:Q1229294"
From MaRDI portal
The following pages link to Limits indexed by category-valued 2-functors (Q1229294):
Displaying 50 items.
- Shadows and traces in bicategories (Q382402) (← links)
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- A coherence theorem for pseudonatural transformations (Q502628) (← links)
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher'' Morita categories (Q502639) (← links)
- Idempotent splittings, colimit completion, and weak aspects of the theory of monads (Q659876) (← links)
- A 2-colimit characterization of internal categories of torsors (Q810134) (← links)
- Weighted limits in an \((\infty, 1)\)-category (Q825982) (← links)
- Homotopy coherent adjunctions and the formal theory of monads (Q890142) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- The combinatorics of n-categorical pasting (Q909013) (← links)
- The category of 3-computads is not cartesian closed (Q942212) (← links)
- A folk model structure on omega-cat (Q973942) (← links)
- Homomorphisms of higher categories (Q984873) (← links)
- Polynomial functors and opetopes (Q984889) (← links)
- Polygraphic resolutions and homology of monoids (Q1008743) (← links)
- A general formulation of homotopy limits (Q1064577) (← links)
- The algebra of oriented simplexes (Q1112955) (← links)
- Closed categories, lax limits and homotopy limits (Q1153377) (← links)
- Conspectus of variable categories (Q1156868) (← links)
- Two-dimensional sheaf theory (Q1160709) (← links)
- The geometry of tensor calculus. I (Q1175729) (← links)
- The fundamental localic groupoid of a topos (Q1184023) (← links)
- Yoneda structures on 2-categories (Q1255083) (← links)
- Flexible limits for 2-categories (Q1262939) (← links)
- Modulated bicategories (Q1331914) (← links)
- Higher categories, strings, cubes and simplex equations (Q1346409) (← links)
- Representable multicategories (Q1570232) (← links)
- Sigma limits in 2-categories and flat pseudofunctors (Q1649333) (← links)
- How strict is strictification? (Q1730856) (← links)
- A general limit lifting theorem for 2-dimensional monad theory (Q1743022) (← links)
- Galois theory in symmetric monoidal categories (Q1806098) (← links)
- The formal theory of monads. II (Q1850104) (← links)
- Discrete and conservative factorizations in \textbf{Fib}\((B)\) (Q2040884) (← links)
- 2-limits and 2-terminal objects are too different (Q2105679) (← links)
- Semantic factorization and descent (Q2105683) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Bilimits are bifinal objects (Q2154269) (← links)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups (Q2219329) (← links)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- 3-dimensional defect TQFTs and their tricategories (Q2302239) (← links)
- Categorified cyclic operads (Q2303776) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- A trace for bimodule categories (Q2397326) (← links)
- Wreaths, mixed wreaths and twisted coactions (Q2406555) (← links)
- A graphical calculus for semi-groupal categories (Q2423828) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
