Yoneda structures on 2-categories

DOI10.1016/0021-8693(78)90160-6zbMath0401.18004OpenAlexW2031120504WikidataQ56687240 ScholiaQ56687240MaRDI QIDQ1255083

Ross H. Street, Robert F. C. Walters

Publication date: 1978

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(78)90160-6

zbMATH Keywords

UniverseExtensions2-CategoriesHom- Enriched CategoriesInternal CategoriesKan ExtensionLiftingsRelative Adjoint FunctorYoneda EmbeddingYoneda LemmaYoneda Structure

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (76)

On the construction of limits and colimits in $\infty$-categories ⋮ Density in categorical topology via quantaloid-enriched categories ⋮ Constructive complete distributivity. IV ⋮ Algebraic Kan extensions along morphisms of internal algebra classifiers ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Categories in which all strong generators are dense ⋮ Augmented virtual double categories ⋮ Accessibility and the solution set condition ⋮ Lawvere theories enriched over a general base ⋮ Constructive complete distributivity II ⋮ Topological categories, quantaloids and Isbell adjunctions ⋮ Cosmoi of Internal Categories ⋮ Unnamed Item ⋮ Yoneda structures from 2-toposes ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Monoidal bicategories and Hopf algebroids ⋮ Constructive complete distributivity. I ⋮ Accessibility and presentability in 2-categories ⋮ On the semantics of the universal quantifier ⋮ Descent Data and Absolute Kan Extensions ⋮ Hochschild homology, lax codescent, and duplicial structure ⋮ Central extensions of associative algebras and weakly action representable categories ⋮ Unnamed Item ⋮ A representable approach to finite nondeterminism ⋮ Semi-topological functors III: Lifting of monads and adjoint functors ⋮ Variation on a comprehensive theme ⋮ Totally distributive toposes ⋮ A formal logic for formal category theory ⋮ Distributive laws for relative monads ⋮ Quasivarieties and varieties of ordered algebras: regularity and exactness ⋮ Notions of Lawvere theory ⋮ Operads within monoidal pseudo algebras ⋮ The combinatorics of n-categorical pasting ⋮ Conspectus of variable categories ⋮ Two-dimensional sheaf theory ⋮ Total categories with generators ⋮ Unnamed Item ⋮ Lex colimits ⋮ Completely and totally distributive categories. I. ⋮ A duality of quantale-enriched categories ⋮ Monads with arities and their associated theories ⋮ Sheaves on sites as Cauchy-complete categories ⋮ Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) ⋮ \(\mathcal{Q}\)-closure spaces ⋮ Yoneda structures and KZ doctrines ⋮ Unnamed Item ⋮ Cauchy characterization of enriched categories ⋮ Regular patterns, substitudes, Feynman categories and operads ⋮ Unnamed Item ⋮ ENRICHED CATEGORIES AND COHOMOLOGY ⋮ Distributive laws via admissibility ⋮ An Adjoint Characterization of the Category of Sets ⋮ Unnamed Item ⋮ The formal theory of relative monads ⋮ From coherent structures to universal properties ⋮ Note on total categories ⋮ Lax familial representability and lax generic factorizations ⋮ A basic distributive law ⋮ Unnamed Item ⋮ A formula for codensity monads and density comonads ⋮ The Dedekind reals in abstract Stone duality ⋮ Structural induction and coinduction in a fibrational setting ⋮ An axiomatics for bicategories of modules ⋮ A 2-Categories Companion ⋮ An Australian Conspectus of Higher Categories ⋮ Formal Hopf algebra theory. II: Lax centres ⋮ Representable multicategories ⋮ Some remarks on total categories ⋮ Notions of topos ⋮ Gabriel-Ulmer duality for categories enriched in bicategories ⋮ Cofibrations in the bicategory of topoi ⋮ The petit topos of globular sets ⋮ A factorization of regularity ⋮ Categories of representations of coalgebroids ⋮ Variation through enrichment ⋮ Semantic factorization and descent

Cites Work

• Standard constructions in Abelian categories
• Limits indexed by category-valued 2-functors
• Change of base for toposes with generators
• Adjoint functors and triples
• Properties of dense and relative adjoint functors
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Kan extensions in enriched category theory
• The formal theory of monads
• The adjoint functor theorem and the Yoneda embedding
• A notion of limit for enriched categories
• Cosmoi of Internal Categories
• On closed categories of functors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Yoneda structures on 2-categories