scientific article; zbMATH DE number 575948

Publication date: 26 May 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

432 measurable cardinals algebraic theories large cardinals accessible categories categorical model theory locally presentable categories huge cardinals algebraic categories categories of models full Vopĕnka principle Gabriel-Ulmer theorem locally multipresentable categories weak Vopĕnka principle

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Large cardinals (03E55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items (only showing first 100 items - show all)

Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration ⋮ Accessible categories with a class of limits ⋮ fp-projective periodicity ⋮ Enriched purity and presentability in Banach spaces ⋮ Cohomological Localizations and Set-Theoretical Reflection ⋮ Half-integrality of line bundles on partial flag schemes of classical Lie groups ⋮ \(t\)-structures with Grothendieck hearts via functor categories ⋮ The tensor embedding for a Grothendieck cosmos ⋮ A skew approach to enrichment for Gray-categories ⋮ Smallness in topology ⋮ S-protomodularity of the category of cocommutative bialgebras ⋮ Remarks on derived complete modules and complexes ⋮ CELLULAR CATEGORIES AND STABLE INDEPENDENCE ⋮ A presheaf semantics of value-passing processes ⋮ Inverse limit slender groups ⋮ Vopěnka's principle in \(\infty\)-categories ⋮ Quotient toposes of discrete dynamical systems ⋮ A monoidal Dold-Kan correspondence for comodules ⋮ Non-commutative ambits and equivariant compactifications ⋮ Metric enrichment, finite generation, and the path coreflection ⋮ Arboreal categories and equi-resource homomorphism preservation theorems ⋮ Salce's problem on cotorsion pairs is undecidable ⋮ Shuffle polygraphic resolutions for operads ⋮ LNL polycategories and doctrines of linear logic ⋮ On duality and model theory for polyadic spaces ⋮ Comparing cubical and globular directed paths ⋮ Entwined modules over representations of categories ⋮ A general framework for the semantics of type theory ⋮ CHAD for expressive total languages ⋮ On notions of compactness, object classifiers, and weak Tarski universes ⋮ Discrete equational theories ⋮ Variable binding and substitution for (nameless) dummies ⋮ Epimorphic quantum subgroups and coalgebra codominions ⋮ An extension of the Beauville-Laszlo descent theorem ⋮ Independence relations for exponential fields ⋮ Liftable pairs of functors and initial objects ⋮ Derived homotopy algebras ⋮ Centers of categorified endomorphism rings ⋮ K-flatness and orthogonality in homotopy categories ⋮ Structured handling of scoped effects ⋮ Duoidally enriched Freyd categories ⋮ \(t\)-structures on stable derivators and Grothendieck hearts ⋮ Categories of modules, comodules and contramodules over representations ⋮ Homotopy theory of monoid actions via group actions and an Elmendorf style theorem ⋮ Sweedler theory of monads ⋮ Galois covering of pure-semisimple categories ⋮ Manifolds of Lie-group-valued cocycles and discrete cohomology ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ Left Bousfield localization without left properness ⋮ Comodule theories in Grothendieck categories and relative Hopf objects ⋮ From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract) ⋮ Algebraic \(k\,k\)-theory and the KH-isomorphism conjecture ⋮ Universal co-extensions of torsion abelian groups ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Monads on tensor categories ⋮ Tannaka duality for Maschkean categories ⋮ Transfinite Adams representability ⋮ Coinductive predicates and final sequences in a fibration ⋮ Rational operational models ⋮ A categorical theory of patches ⋮ The derived category with respect to a generator ⋮ The defect functor of a homomorphism and direct unions ⋮ \(\mu\)-abstract elementary classes and other generalizations ⋮ Freyd categories are enriched Lawvere theories ⋮ Categorification of algebraic quantum field theories ⋮ On the axiomatisability of the dual of compact ordered spaces ⋮ Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ Some remarks on a theorem of Bergman ⋮ Sobriety and spatiality in varieties of algebras ⋮ The orthogonal subcategory problem and the small object argument ⋮ On combinatorial model categories ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ On the tensor product of modules over skew monoidal categories ⋮ Model-theoretic imaginaries and coherent sheaves ⋮ A Quillen model category structure on some categories of comonoids ⋮ Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories ⋮ The fiber of functors between categories of algebras ⋮ Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets ⋮ \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems ⋮ Discrete Lawvere theories and computational effects ⋮ Towers and fibered products of model structures ⋮ On realizing diagrams of \(\Pi\)-algebras ⋮ Rigidification of algebras over multi-sorted theories ⋮ Covers and directed colimits. ⋮ Partial Horn logic and Cartesian categories ⋮ On rational pairings of functors ⋮ Preorientations of the derived motivic multiplicative group ⋮ A Thomason model structure on the category of small \(n\)-fold categories ⋮ Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories ⋮ Combining algebraic effects with continuations ⋮ On universal categories of coalgebras ⋮ How iterative reflections of monads are constructed ⋮ The fundamental pro-groupoid of an affine 2-scheme ⋮ Limits of small functors ⋮ An axiomatic construction of an almost full embedding of the category of graphs into the category of \(R\)-objects

This page was built for publication: