Lokal präsentierbare Kategorien. (Locally presentable categories)

DOI10.1007/BFb0059396zbMath0225.18004OpenAlexW4244129601WikidataQ105624141 ScholiaQ105624141MaRDI QIDQ2548649

Peter Gabriel, Friedrich Ulmer

Publication date: 1971

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0059396

Mathematics Subject Classification ID

Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Definitions and generalizations in theory of categories (18A05) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items

Rational operational models, Quantales and their sheaves, Topological categories presented by small sets of axioms, Cartesian differential categories as skew enriched categories, On the notion of bimodel for functorial semantics, On the axiomatisability of the dual of compact ordered spaces, Gabriel-Ulmer duality for topoi and its relation with site presentations, Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes, The orthogonal subcategory problem and the small object argument, On combinatorial model categories, Descent and duality, Categorical aspects of data type constructors, Accessibility and the solution set condition, On the left exactness of orthogonal reflections, Subobject classifier for algebraic structures, Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets, A model structure à la Thomason on 2-Cat, Towers and fibered products of model structures, The algebra of oriented simplexes, Elementary categories, Strong conceptual completeness for first-order logic, Finitary spectral algebraic theories, Proarrows and cofibrations, A Thomason model structure on the category of small \(n\)-fold categories, Localisation of locally presentable categories, The fundamental pro-groupoid of an affine 2-scheme, Limits of small functors, Algebraic weak factorisation systems. I: Accessible AWFS., Semi-topological functors III: Lifting of monads and adjoint functors, Equational properties of iterative monads, Categories localement multipresentables, Examples of non-monadic structures on categories, Tensor products of finitely cocomplete and abelian categories, Categories multialgebriques, Varieties of chain-complete algebras, A general theory of self-similarity, Commutativity, Algebraic categories with few monoidal biclosed structures or none, Compact and hypercomplete categories, Notions of Lawvere theory, Approximations and adjoints in homotopy categories, Parametrization for order-sorted algebraic specification, Conspectus of variable categories, Small Cauchy completions, On coalgebras over algebras, Category-theoretic aspects of abstract elementary classes, Total categories with generators, Localizations of locally presentable categories and exact topologies, An algebraic approach to stable domains, Localisations of locally presentable categories. II, Continuous categories and exponentiable toposes, Injective objects and cogenerating sets, Relatively terminal coalgebras, Monads with arities and their associated theories, A theorem on Barr-exact categories, with an infinitary generalization, Protolocalisations of homological categories, The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit., Uniformly constructive monads, Sheaves, localizations, and unstable extensions: Some counterexamples, A characterization of quasi-toposes, Open localizations, The meaning of specifications I: Domains and initial models, Generalized sketches as a framework for completeness theorems. I-III, Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\), Algebra and local presentability: how algebraic are they? (A survey), The logic of structures, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Barr's embedding theorem for enriched categories, Syntactic characterization of closure under connected limits, Free monoids, On the existence and exactness of the associated sheaf functor, A folk model structure on omega-cat, Coalgebras over a commutative ring, Doctrines on 2-categories, A remark on Mackey-functors, Adjungierte Dreiecke, Colimites und Kan-Erweiterungen, Essential pure monomorphisms of sheaves of group actions., Grothendieck quasitoposes, A category-theoretic approach to Boolean-valued models of set theory, Zum Satz von Freyd und Kelly, How many variables does a quasivariety need?, On the fullness of certain functors, Über einen Satz von Gabriel zur Charakterisierung regulärer Colimites, Localizations of endomorphism rings and fixpoints, On algebraic recognition of direct-product decompositions, Yoneda structures on 2-categories, Semi-topological functors. I, Free monads and the orthogonal subcategory problem, Flexible limits for 2-categories, Algebraic theories of quasivarieties, Covollständigkeit vollständiger Kategorien, Vertauschbarkeit von Limites und Colimites, Left exact presheaves on a small pretopos, Gabriel-Ulmer duality for categories enriched in bicategories, Une description axiomatique des categories de faisceaux de structures algébriques sur les espaces topologiques booleens, Recovering a frame from its sheaves of algebras, Vollständigkeitseigenschaften freier Colimes-Komplettierungen. (Completeness properties of free colimit completions), The algebraic theory of order, Models of Horn theories revisited, An operadic approach to internal structures, Equational Compactness ofG-sheaves, On tree coalgebras and coalgebra presentations, On the nonexistence of elements of Kervaire invariant one, Quillen closed model structures for sheaves, Accessible categories and models of linear logic, Kan extensions are partial colimits, On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic, Enriched logical connections, Accessibility and presentability in 2-categories, Unnamed Item, Limits in free coproduct completions, Enrichment through variation, Model completions and r-Heyting categories, Logical quantizations of first-order structures, Avoiding the axiom of choice in general category theory, Unnamed Item, Are locally finite MV-algebras a variety?, Unnamed Item, On geometric and finitary sketches, A tour about existence and uniqueness of dg enhancements and lifts, Cartan-Eilenberg cohomology and triples, Flat vs. filtered colimits in the enriched context, Unnamed Item, Factorization and local presentability in topological and uniform spaces, On continuity of accessible functors, Bousfield localisations along Quillen bifunctors, Projectivity and unification in substructural logics of generalized rotations, Class-locally presentable and class-accessible categories, Definable categories, An embedding theorem for regular Mal'tsev categories, On final coalgebras of continuous functors, What is a finitely related object, categorically?, Cofibrant generation of pure monomorphisms, General affine adjunctions, Nullstellensätze, and dualities, Logical rules as fractions and logics as sketches, Accessible aspects of 2-category theory, Base modules for parametrized iterativity, Unnamed Item, Constructing colimits by gluing vector bundles, Are all localizing subcategories of stable homotopy categories coreflective?, On stability of exactness properties under the pro-completion, D-ultrafilters and their monads, Toward a characterization of algebraic exactness., On \(\lambda\)-pure acyclic complexes in a Grothendieck category, Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories, Bousfield localisation and colocalisation of one-dimensional model structures, Gabriel-Morita theory for excisive model categories, Specification and proof in membership equational logic, A class of exactness properties characterized via left Kan extensions, Unnamed Item, Equational presentations of functors and monads, Elgot theories: a new perspective on the equational properties of iteration, On Perfectly Generating Projective Classes in Triangulated Categories, Iterative reflections of monads, Unnamed Item, Monads and theories, Unnamed Item, On quasivarieties and varieties as categories, Unnamed Item, On an essentially algebraic theory for locally presentable categories, Derived equivalences induced by big cotilting modules, Unnamed Item, Unnamed Item, On linear exactness properties, A formula for codensity monads and density comonads, A Description of Iterative Reflections of Monads (Extended Abstract), Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract), A New Foundation for Finitary Corecursion, Enriched regular theories, How accessible are categories of algebras?, Unnamed Item, Petri nets based on Lawvere theories, A new foundation for finitary corecursion and iterative algebras, Equipping weak equivalences with algebraic structure, Algebraic theories and commutativity in a sheaf topos, Final coalgebras in accessible categories, On locales of localizations, A 2-Categories Companion, Partielle Algebren in Initialkategorien. (Partial algebras in initial categories), Embedding theorems for Janelidze's matrix conditions, Connected components and colimits, Categories of continuous functors. I, Finitely coordinated and finitely copresentable affine algebraic sets, The universal exponentiable arrow, Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors, Über Ringe, welche dicht in ihrer Modulkategorie sind, On Rational Monads and Free Iterative Theories, Duality theory for enriched Priestley spaces, Quasi-coproducts and accessible categories with wide pullbacks, Cevian operations on distributive lattices, Implications of large-cardinal principles in homotopical localization, On the boundedness of topological categories, A classification of accessible categories, A simple characterization of theories of varieties, Functorial models for Petri nets, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Projectivity in (bounded) commutative integral residuated lattices, Adjoint functor theorems for homotopically enriched categories, Unnamed Item, A generalization of the duality compactness theorem, Unnamed Item, An algebraic formulation for data refinement, The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Unnamed Item, Unnamed Item, Localization methods in the study of the homology of virtually nilpotent groups, Computing on Lattice-Ordered Abelian Groups, Cosmoi of Internal Categories, Some Results on Locally Finitely Presentable Categories, Unnamed Item, Metric monads, Unnamed Item, Quotients of representation-finite algebras, Unnamed Item, Unnamed Item, LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE, ON CATEGORIES OF MONOID-ACTIONS, Accessible categories with a class of limits, Smallness in topology, Unnamed Item, The spectrum of a well‐generated tensor‐triangulated category, Structural and universal completeness in algebra and logic, A general framework for the semantics of type theory, CHAD for expressive total languages, Note on monoidal localisation, \(t\)-structures on stable derivators and Grothendieck hearts, Finitary sketches and finitely accessible categories, Quasivarieties and varieties of ordered algebras: regularity and exactness, Separable MV-algebras and lattice-ordered groups, Unnamed Item, Unnamed Item, Unnamed Item, Enriched accessible categories, Unnamed Item, Understanding the small object argument, Unnamed Item, Unnamed Item, Understanding the small object argument, Enriched Locally Generated Categories, Accessible categories, saturation and categoricity, Universal abstract elementary classes and locally multipresentable categories, From noncommutative diagrams to anti-elementary classes, The matrix taxonomy of finitely complete categories, Unnamed Item, Localization at Injectives in Complete Categories, Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces, Syntactic approaches to opetopes, Opetopic algebras I: Algebraic structures on opetopic sets, Homotopical localizations of module spectra, Purity in locally-presentable monoidal categories, On a problem of Gabriel and Ulmer, Density presentations of functors, Unnamed Item, Unnamed Item, A remark on conservative cocompletions of categories, Unnamed Item, Unnamed Item, Unnamed Item, Homological algebra in characteristic one, A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on, Unnamed Item, Unnamed Item, Unnamed Item, Iterated algebraic injectivity and the faithfulness conjecture, Coinductive predicates and final sequences in a fibration, Unnamed Item, An enriched view on the extended finitary monad--Lawvere theory correspondence, Unnamed Item, Unnamed Item, Denotational Semantics with Nominal Scott Domains, Unnamed Item, On the essentially-algebraic theory generated by a sketch, Unnamed Item, Unnamed Item, Unnamed Item