Pages that link to "Item:Q1229294"

The following pages link to Limits indexed by category-valued 2-functors (Q1229294):

Displayed 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)