Limits indexed by category-valued 2-functors

DOI10.1016/0022-4049(76)90013-XzbMath0335.18005WikidataQ56687239 ScholiaQ56687239MaRDI QIDQ1229294

Publication date: 1976

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Related Items

Shuffle polygraphic resolutions for operads, Monoidal weak ω-categories as models of a type theory, Nerves and cones of free loop-free $\omega$-categories, Rewriting in Gray categories with applications to coherence, Rewriting modulo isotopies in pivotal linear $(2,2)$-categories, Modulated bicategories, Weighted limits in an $(\infty, 1)$-category, Unnamed Item, An (∞,2)-categorical pasting theorem, Coherent confluence modulo relations and double groupoids, A characterization of pie limits, Higher categories, strings, cubes and simplex equations, A unified framework for notions of algebraic theory, Algebraic coherent confluence and higher globular Kleene algebras, Cosmoi of Internal Categories, A Universal Characterisation of Codescent Objects, Strictification tensor product of 2-categories, Sigma limits in 2-categories and flat pseudofunctors, Bilimits are bifinal objects, Yoneda structures from 2-toposes, Weak units, universal cells, and coherence via universality for bicategories, The algebra of oriented simplexes, A trace for bimodule categories, A formalism for the specification of essentially-algebraic structures in 2-categories, Descent Data and Absolute Kan Extensions, Discrete Double Fibrations, Wreaths, mixed wreaths and twisted coactions, Unnamed Item, Shadows and traces in bicategories, Unnamed Item, A combinatorial-topological shape category for polygraphs, An abstract formulation for rewrite systems, A Topological Perspective on Interacting Algebraic Theories, Homotopy coherent adjunctions and the formal theory of monads, Unnamed Item, A graphical calculus for semi-groupal categories, Enriched categories as a free cocompletion, Homotopy limits for 2-categories, Closed categories, lax limits and homotopy limits, Abstract strategies and coherence, The combinatorics of n-categorical pasting, Conspectus of variable categories, The relative monoidal center and tensor products of monoidal categories, Unnamed Item, Unnamed Item, Two-dimensional sheaf theory, Unnamed Item, Higher-dimensional normalisation strategies for acyclicity, An induction principle for consequence in arithmetic universes, Connected limits, familial representability and Artin glueing, Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups, Confluence of Graph Rewriting with Interfaces, Elementary observations on 2-categorical limits, The geometry of tensor calculus. I, Idempotent splittings, colimit completion, and weak aspects of the theory of monads, Noncommutative Gröbner Bases: Applications and Generalizations, How strict is strictification?, The fundamental localic groupoid of a topos, The category of 3-computads is not cartesian closed, A general limit lifting theorem for 2-dimensional monad theory, A coherence theorem for pseudonatural transformations, (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories, On lifting of biadjoints and lax algebras, Unnamed Item, Coherence in monoidal track categories, Unnamed Item, Pseudo-Kan Extensions and Descent Theory, Unifying notions of pasting diagrams, A folk model structure on omega-cat, Convergent presentations and polygraphic resolutions of associative algebras, Homomorphisms of higher categories, Polynomial functors and opetopes, Unnamed Item, Lax familial representability and lax generic factorizations, Unnamed Item, Non-unital polygraphs form a presheaf category, Quillen cohomology of $(\infty,2)$-categories, Extended Nested Dual System Groups, Revisited, Discrete and conservative factorizations in \textbf{Fib}$(B)$, Unnamed Item, Yoneda structures on 2-categories, Polygraphic resolutions and homology of monoids, Lifting PIE limits with strict projections, Galois theory in symmetric monoidal categories, The structure of first-order causality, Flexible limits for 2-categories, 3-dimensional defect TQFTs and their tricategories, A cubical Squier’s theorem, Categorified cyclic operads, Polygraphs and Discrete Conduch{\'e} $\omega$-Functors, A 2-Categories Companion, An Australian Conspectus of Higher Categories, Unnamed Item, Representable multicategories, A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories, Proof diagrams for multiplicative linear logic: syntax and semantics, The formal theory of monads. II, Polygraphs of finite derivation type, Coherent presentations of Artin monoids, 2-limits and 2-terminal objects are too different, Semantic factorization and descent, A general formulation of homotopy limits, Unnamed Item, A 2-colimit characterization of internal categories of torsors

Cites Work