Elementary observations on 2-categorical limits
From MaRDI portal
Publication:3804881
DOI10.1017/S0004972700002781zbMath0657.18004OpenAlexW1988982133MaRDI QIDQ3804881
Publication date: 1989
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0004972700002781
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)
Related Items (73)
Weighted limits in an \((\infty, 1)\)-category ⋮ μ-Bicomplete Categories and Parity Games ⋮ Van Kampen Colimits as Bicolimits in Span ⋮ A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ Monoidal algebraic model structures ⋮ V-comprehensions and P space ⋮ Sigma limits in 2-categories and flat pseudofunctors ⋮ On lax epimorphisms and the associated factorization ⋮ Bilimits are bifinal objects ⋮ Weak $\infty$-categories via terminal coalgebras ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ Two-dimensional monad theory ⋮ The fundamental pro-groupoid of an affine 2-scheme ⋮ Model bicategories and their homotopy bicategories ⋮ Constructing process categories ⋮ Tensor products of finitely cocomplete and abelian categories ⋮ Weighted limits in the category Dcpo-S ⋮ Weighted colimits of 2-representations and star algebras ⋮ Differential 2-rigs ⋮ Quasivarieties and varieties of ordered algebras: regularity and exactness ⋮ What is an equivalence in a higher category? ⋮ On semiflexible, flexible and pie algebras ⋮ Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) ⋮ The relative monoidal center and tensor products of monoidal categories ⋮ Permutation 2-groups. I: Structure and splitness ⋮ Enhanced 2-categories and limits for lax morphisms ⋮ Categorical notions of fibration ⋮ Idempotent splittings, colimit completion, and weak aspects of the theory of monads ⋮ Tensor Products and Preservation of Weighted Limits, forS-Posets ⋮ How strict is strictification? ⋮ The fundamental localic groupoid of a topos ⋮ A general limit lifting theorem for 2-dimensional monad theory ⋮ (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories ⋮ The center functor is fully faithful ⋮ On lifting of biadjoints and lax algebras ⋮ Coinverters and categories of fractions for categories with structure ⋮ Algebras, Coalgebras, Monads and Comonads ⋮ An Algebraic Foundation for Graph-based Diagrams in Computing ⋮ Category theoretic structure of setoids ⋮ A construction of certain weak colimits and an exactness property of the 2-category of categories ⋮ Locating reaction with 2-categories ⋮ On the structure of categories of coalgebras ⋮ A colimit decomposition for homotopy algebras in Cat ⋮ On Morita equivalence of partially ordered monoids ⋮ From coherent structures to universal properties ⋮ Fibered aspects of Yoneda's regular span ⋮ Lax orthogonal factorisations in ordered structures ⋮ Homotopy of planar Lie group equivariant presheaves ⋮ Discrete and conservative factorizations in \textbf{Fib}\((B)\) ⋮ Model structures on the category of small double categories ⋮ Categorified quantum \(\mathfrak{sl}_2\) is an inverse limit of flag 2-categories ⋮ Lifting PIE limits with strict projections ⋮ Flexible limits for 2-categories ⋮ Two-dimensional models of type theory ⋮ Structural induction and coinduction in a fibrational setting ⋮ A 2-Categories Companion ⋮ An Australian Conspectus of Higher Categories ⋮ A topological origin of quantum symmetric pairs ⋮ Representable multicategories ⋮ Deriving Bisimulation Congruences: A 2-categorical Approach ⋮ On Mono- and Epimorphisms in Varieties of Ordered Algebras ⋮ Simple transitive 2-representations of bimodules over radical square zero Nakayama algebras via localization ⋮ Some properties of Fib as a fibred \(2\)-category ⋮ The symmetry enriched center functor is fully faithful ⋮ Codescent objects and coherence ⋮ The 2-category theory of quasi-categories ⋮ Algebraic Databases ⋮ Frobenius algebras and homotopy fixed points of group actions on bicategories ⋮ 2-limits and 2-terminal objects are too different ⋮ Semantic factorization and descent ⋮ On \(\infty\)-cosmoi of bicategories ⋮ Adjoint functor theorems for homotopically enriched categories ⋮ Limits for lax morphisms
Cites Work
This page was built for publication: Elementary observations on 2-categorical limits
