scientific article; zbMATH DE number 575948
From MaRDI portal
zbMath0795.18007MaRDI QIDQ4293501
Publication date: 26 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
432measurable cardinalsalgebraic theorieslarge cardinalsaccessible categoriescategorical model theorylocally presentable categorieshuge cardinalsalgebraic categoriescategories of modelsfull Vopĕnka principleGabriel-Ulmer theoremlocally multipresentable categoriesweak Vopĕnka principle
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
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, Toward weakly enriched categories: co-Segal categories, Pure morphisms are effective for modules, Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure, A coalgebraic semantics for causality in Petri nets, Equational properties of iterative monads, Presenting functors on many-sorted varieties and applications, \(\mathbf{A}^1\)-homotopy theory of noncommutative motives, Tensor products of finitely cocomplete and abelian categories, Left determined model structures for locally presentable categories, Universality of categories of coalgebras, On objects with a semilocal endomorphism rings in finitely accessible additive categories, Modalities in the Stone age: a comparison of coalgebraic logics, Free internal groups, The profinite hull of special groups and local-global principles, Weak reflections and weak factorization systems, Approximations and adjoints in homotopy categories, Indestructibility of Vopěnka's principle, Waldhausen \(K\)-theory of spaces via comodules, Addendum to ``Direct limits in the heart of a t-structure: the case of a torsion pair, On exact categories and applications to triangulated adjoints and model structures, On second-order iterative monads, Category-theoretic aspects of abstract elementary classes, Enriched weakness, Relatively terminal coalgebras, Monads with arities and their associated theories, Weak factorization systems for \(S\)-acts., Protolocalisations of homological categories, The direct limit closure of perfect complexes, Universal constructions for Hopf algebras., A survey on categories of logics and algebraizable logics, Modules over motivic cohomology, Generalized sketches as a framework for completeness theorems. I-III, Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\), Syntactic characterizations of closure under pullbacks and of locally polypresentable categories, The countable telescope conjecture for module categories., Proving semantical equivalence of data specifications, Finite models of sketches, On regular monomorphisms in weakly locally presentable categories, Algebra and local presentability: how algebraic are they? (A survey), Local-to-global spectral sequences for the cohomology of diagrams, Dedekind complete posets from sheaves on von Neumann algebras, Discrete \(G\)-spectra and embeddings of module spectra, Cartesian modules over representations of small categories, Combinatorics of labelling in higher-dimensional automata, Idempotent functors and localizations in categories of modules and Abelian groups., Comparing cohomology obstructions, On epimorphisms and monomorphisms of Hopf algebras., Limits and colimits of Hopf algebras, Algebraic lattices and locally finitely presentable categories, Homotopy theory of nonsymmetric operads, From quantale algebroids to topological spaces: fixed- and variable-basis approaches, A categorical study on the finiteness of specifications, When is group cohomology finitary?, Exactness of direct limits in the category of firm modules, Witt vectors and Tambara functors, On the final sequence of a finitary set functor, Essential pure monomorphisms of sheaves of group actions., Abstract elementary classes and accessible categories, Algebraic models for higher categories, Moduli stacks of algebraic structures and deformation theory, A uniqueness theorem in a finitely accessible additive category, On pure derived categories, Equational Compactness ofG-sheaves, μ-Bicomplete Categories and Parity Games, Constructor-Based Institutions, Unnamed Item, Unnamed Item, Effect Algebras, Presheaves, Non-locality and Contextuality, Unnamed Item, $\aleph_1$ and the modal $\mu$-calculus, Unnamed Item, Unnamed Item, Free Poisson Hopf algebras generated by coalgebras, Recursive Program Schemes and Context-Free Monads, Homotopy theory of normed sets II. Model categories, Left properness of flows, Unnamed Item, Unnamed Item, Derived, coderived, and contraderived categories of locally presentable abelian categories, A categorical approach to quantum moment maps, Minimal accessible categories, Higher dualizability and singly-generated Grothendieck categories, Unnamed Item, Flat vs. filtered colimits in the enriched context, Unnamed Item, Homotopy theory of normed sets I. Basic constructions, On continuity of accessible functors, Combinatorial and accessible weak model categories, Virtual concepts in the theory of accessible categories, Accessible images revisited, Maximal exact structures on additive categories revisited, Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras, Accessible \(\infty \)-cosmoi, Reflective and coreflective subcategories, Finitary sketches and finitely accessible categories, Unnamed Item, Locally type \(\mathrm{FP}_n\) and \(n\)-coherent categories, A variety theorem for relational universal algebra, Bilinear spaces over a fixed field are simple unstable, Filter pairs and natural extensions of logics, Tameness in generalized metric structures, Notions of computation as monoids, Unnamed Item, Category Theory and Philosophy, A category-theoretic characterization of almost measurable cardinals, Model structures and relative Gorenstein flat modules and chain complexes, Telescope conjecture, idempotent ideals, and the transfinite radical, Covers in finitely accessible categories, Finite presentability of strongly finite dilators, Distributed Modal Logic, (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras, Finitary sketches, Accessible categories, saturation and categoricity, Universal abstract elementary classes and locally multipresentable categories, Unnamed Item, A Coalgebraic View of Infinite Trees and Iteration, From Varieties of Algebras to Covarieties of Coalgebras, Algebras, Coalgebras, Monads and Comonads, Modal Operators for Coequations, Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces, Coproducts of Ideal Monads, On the Functor ℓ2, Unnamed Item, Unnamed Item, Left-determined model categories and universal homotopy theories, Homotopy units in 𝐴-infinity algebras, Distributed Relation Logic, Model structures for coalgebras, On Auslander’s formula and cohereditary torsion pairs, A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES, A Description of Iterative Reflections of Monads (Extended Abstract), CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES, Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract), Unnamed Item, A New Foundation for Finitary Corecursion, Profinite Monads, Profinite Equations, and Reiterman’s Theorem, Definable additive categories: purity and model theory, Petri nets based on Lawvere theories, Noetherian schemes over abelian symmetric monoidal categories, Homotopy theory of Moore flows (II), Products of flat modules and global dimension relative to ℱ-Mittag-Leffler modules, Gabriel–Ulmer duality and Lawvere theories enriched over a general base, Solving Algebraic Equations Using Coalgebra, XIV Latin American Symposium on Mathematical Logic (SLALM), A 2-Categories Companion, Jets and differential linear logic, Coinductive predicates and final sequences in a fibration, An enriched view on the extended finitary monad--Lawvere theory correspondence, Tameness, powerful images, and large cardinals, Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors, Coalgebraic Monads, Some Co-Birkhoff Type Theorems, Modal Predicates and Coequations, Factorization systems and fibrations, Unnamed Item, Ziegler partial morphisms in additive exact categories, All tilting modules are of countable type, 𝐾-theory and topological cyclic homology of henselian pairs, The two out of three property in ind-categories and a convenient model category of spaces, Algebraic Databases, Functorial Coalgebraic Logic: The Case of Many-sorted Varieties, Unnamed Item, Development graphs -- proof management for structured specifications, Recursively defined metric spaces without contraction, Morita equivalence for many-sorted enriched theories, General facts on the Scott adjunction, Induced and higher-dimensional stable independence, Are chain-complete posets co-wellpowered?, Homotopical algebraic context over differential operators, A solution to the conjecture on \(\lambda \)-pure acyclic complexes, Closure properties of \(\varinjlim \mathcal{C}\), A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type, Elementary equivalences and accessible functors, Modularity results for interpolation, amalgamation and superamalgamation, On homotopy varieties, Localization with respect to a class of maps. II: Equivariant cellularization and its application, Modules \(M\) such that \(\mathrm{Ext}_R^1(M,-)\) commutes with direct limits., Flat covers in abelian and in non-abelian categories, Topologically semisimple and topologically perfect topological rings, Covariant isotropy of Grothendieck toposes and extensive categories, Enriched logical connections, Accessibility and presentability in 2-categories, Torsion and torsion-free classes from objects of finite type in Grothendieck categories, Accessible model categories, Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories, Actads, Higher weak (co)limits, adjoint functor theorems, and higher Brown representability, Non-Archimedean analytic geometry as relative algebraic geometry, Global group laws and equivariant bordism rings, On the non-existence of right almost split maps, Are locally finite MV-algebras a variety?, Tensor topology, Codensity: Isbell duality, pro-objects, compactness and accessibility, Matlis category equivalences for a ring epimorphism, Elimination of quotients in various localisations of premodels into models, Factorization and local presentability in topological and uniform spaces, A (co)algebraic theory of succinct automata, Cofibrant generation of pure monomorphisms, Fundamental constructions for coalgebras, corings, and comodules., General affine adjunctions, Nullstellensätze, and dualities, Phantom covering ideals in categories without enough projective morphisms, Cotilting sheaves on Noetherian schemes, Logical rules as fractions and logics as sketches, Periodic modules and acyclic complexes, Sizes and filtrations in accessible categories, Accessible aspects of 2-category theory, Flow does not model flows up to weak dihomotopy, Base modules for parametrized iterativity, Cellular categories, Moduli spaces of algebras over nonsymmetric operads, Are all localizing subcategories of stable homotopy categories coreflective?, An almost full embedding of the category of graphs into the category of abelian groups, Models for singularity categories., On a fat small object argument, Formal plethories, On stability of exactness properties under the pro-completion, Covering ideals of morphisms and module representations of the quiver \(\mathbb A_2\)., Large transitive models in local ZFC, Towards a Thomason model structure on the category of strict \(n\)-categories, Homotopy types of abstract elementary classes, \(FI\)-modules over preadditive categories and torsion theories, Towards higher topology, On the tensor product of well generated dg categories, Kaplansky classes and derived categories, Covers and direct limits: a contramodule-based approach, Generators and closed classes of groups, Gray tensor products and lax functors of \((\infty, 2)\)-categories, \(^{\perp}N\) as an abstract elementary class, Parametricity for primitive nested types, Algebras with parametrized iterativity, Quillen's small object argument in the category of firm modules., A network-conscious \(\pi\)-calculus and its coalgebraic semantics, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, Descent in locally presentable categories, Revisiting causality, coalgebraically, Weak factorizations, fractions and homotopies, Coalgebraic semantics for timed processes, Combining effects: sum and tensor, On an essentially algebraic theory for locally presentable categories, Pure morphisms in pro-categories, A model structure via orbit spaces for equivariant homotopy, Derived equivalences induced by big cotilting modules, Rings of modular forms and a splitting of \(\mathrm{TMF}_0(7)\), Weak Vopěnka's principle does not imply Vopěnka's principle, Enriched regular theories, Local presentability of certain comma categories, A new foundation for finitary corecursion and iterative algebras, Equipping weak equivalences with algebraic structure, Singular compactness and definability for \(\Sigma\)-cotorsion and Gorenstein modules, Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads, Embedding theorems for Janelidze's matrix conditions, Quasi-coproducts and accessible categories with wide pullbacks, Distributive laws for monotone specifications, Cevian operations on distributive lattices, Implications of large-cardinal principles in homotopical localization, Congruences of convex algebras., On finitary functors and their presentations, A generalization of Quillen's small object argument, Direct limits in the heart of a t-structure: the case of a torsion pair, Rigidification of algebras over essentially algebraic~theories, Categorical aspects of compact quantum groups, Bivariant cyclic cohomology and Connes' bilinear pairings in noncommutative motives, A categorical framework for congruence of applicative bisimilarity in higher-order languages, Quillen-Segal algebras and Stable homotopy theory, Computing on Lattice-Ordered Abelian Groups, On Colimits and Elementary Embeddings, A categorical view of varieties of ordered algebras, Quantum Galois groups of subfactors, Unnamed Item, Dependent products and 1-inaccessible universes, Remarks on combinatorial and accessible model categories, Finitary monads on the category of posets, Unnamed Item, Theories of presheaf type, On Finitary Functors, Finitely Presentable Algebras For Finitary Monads, Metric monads, On bornological semi-abelian algebras, Flatness properties of acts over semigroups, Six model categories for directed homotopy, Pseudo pure-injective objects, Unnamed Item, (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras, FG-purity and FG-flat modules, A categorical approach to dynamical quantum groups, On sifted colimits in the presence of pullbacks, Enriched Lawvere Theories for Operational Semantics, Weak Fraisse categories, A COCOMPLETE BUT NOT COMPLETE ABELIAN CATEGORY, METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES, Groups with Many Finitary Cohomology Functors, Pure exact structures and the pure derived category of a scheme, Unnamed Item, Quasivarieties and varieties of ordered algebras: regularity and exactness, Unnamed Item, THE STRUCTURE OF BALANCED BIG COHEN–MACAULAY MODULES OVER COHEN–MACAULAY RINGS, Unnamed Item, Unnamed Item, Unnamed Item, Depth and Simplicity of Ohkawa’s Argument, Combinatorial Homotopy Categories, Cosheaves, Spectra as universal objects in categories of supports, Unnamed Item, Unnamed Item, Abelian model structures on categories of quiver representations, Duality and contravariant functors in the representation theory of artin algebras, Unnamed Item, Enriched Locally Generated Categories, On the unicity of the theory of higher categories, From noncommutative diagrams to anti-elementary classes, Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem, Comparing localizations across adjunctions, The matrix taxonomy of finitely complete categories, Locally bounded enriched categories, Bratteli diagrams via the De Concini–Procesi theorem, Opetopic algebras I: Algebraic structures on opetopic sets, Extensivity of categories of relational structures, Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems, Kan injectivity in order-enriched categories, On a problem of Gabriel and Ulmer, Syntactic characterizations of various classes of locally presentable categories, When do completion processes give rise to extensive categories?, Unnamed Item, Petr Vopěnka (*16. 5. 1935), Homotopy theory with marked additive categories, Symmetric monoidal categories and $\Gamma$-categories, The strength of Mac Lane set theory, On multivarieties and multialgebraic categories, Unnamed Item, On algebraically exact categories and essential localizations of varieties, Sheafifiable homotopy model categories. II, WEAK SATURATION AND WEAK AMALGAMATION PROPERTY, AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN, Unnamed Item, Universal homotopy theories, Combinatorial model categories have presentations, Two applications of analytic functors, Restriction categories. I: Categories of partial maps, Unnamed Item, Unnamed Item, PURE CLOSED SUBOBJECTS AND PURE QUOTIENT GOLDIE DIMENSION, On bicolimits of $ C^* $-categories, CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES, Colimit-dense subcategories, A coalgebraic view on reachability, Iterated algebraic injectivity and the faithfulness conjecture, A criterion for existence of right‐induced model structures, Modules as exact functors, A Zariski-local notion of F-total acyclicity for complexes of sheaves, Multisorted modules and their model theory, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, On dualizability of braided tensor categories, Simplified Coalgebraic Trace Equivalence, THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES, Coalgebraic Modal Logic Beyond Sets, Homotopy theory with *categories, CLASSIFYING SPACES AND THE LASCAR GROUP, Coalgebras in the Dwyer-Kan localization of a model category, Are Banach spaces monadic?, Rewriting in Gray categories with applications to coherence, THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES, Homotopical Morita theory for corings, Model topoi and motivic homotopy theory, On tree coalgebras and coalgebra presentations, On reflective subcategories of varieties, Exponentiable Grothendieck categories in flat algebraic geometry, Tietze equivalences as weak equivalences, Effect algebras, presheaves, non-locality and contextuality, Enriched Stone-type dualities, Maximal ideals in module categories and applications, Approximate injectivity, On preaccessible categories, Logical quantizations of first-order structures, On pure morphisms in accessible categories, Algebraic exponentiation in general categories, The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category, The Gray tensor product via factorisation, An embedding theorem for tangent categories, Covariant types, Bousfield localisations along Quillen bifunctors, 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?, Infinite trees and completely iterative theories: A coalgebraic view, Continuous and smooth envelopes of topological algebras. I, Continuous and smooth envelopes of topological algebras. II, Effective codescent morphisms in locally presentable categories, Simplicial presheaves of coalgebras, A universal characterization of higher algebraic \(K\)-theory, An ``almost full embedding of the category of graphs into the category of groups, On projectivity in locally presentable categories., On \(\lambda\)-pure acyclic complexes in a Grothendieck category, Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories, Purity and homotopy theory of coalgebras, Forking independence from the categorical point of view, Bousfield localisation and colocalisation of one-dimensional model structures, Exactness of direct limits for abelian categories with an injective cogenerator, Uniqueness of uniform decompositions in exact categories, Internal sizes in \(\mu\)-abstract elementary classes, Monads and theories, Splitting kernels into small summands., Stabilization of derivators revisited, Birkhoff's variety theorem in many sorts, Skew structures in 2-category theory and homotopy theory, Completeness of cocompletions, On quasivarieties and varieties as categories, Higher Čech theory, Definable orthogonality classes in accessible categories are small, A Quillen model structure for bicategories, Flat base change formulas for \((\mathfrak{g}, K)\)-modules over Noetherian rings, Variable-basis topological systems versus variable-basis topological spaces, A recollement construction of Gorenstein derived categories, Extension groups between atoms in abelian categories, The simplicial model of univalent foundations (after Voevodsky), Schreier split extensions of preordered monoids, On linear exactness properties, A formula for codensity monads and density comonads, Test sets for factorization properties of modules, A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata, Finite presentation, the local lifting property, and local approximation properties of operator modules, On algebras with effectful iteration, Operadic lifts of the algebra of indexing systems, Relative Fourier transforms and expectations on coideal subalgebras, Bases for parametrized iterativity, Model structures on the category of small double categories, Monoid properties as invariants of toposes of monoid actions, Epireflections and supercompact cardinals, How accessible are categories of algebras?, Slices of essentially algebraic categories, Algebraic theories of quasivarieties, Maximum deconstructibility in module categories, Mal'cev conditions revisited, Approximate injectivity and smallness in metric-enriched categories, Locally finitely presented categories of sheaves, The universal exponentiable arrow, Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras, A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \), Duality theory for enriched Priestley spaces, Two criteria for locally Noetherian Grothendieck categories, A surprising permanence of old motivations (a not-so-rigid story), Purity and injectivity in accessible categories, The locally connected coclosure of a Grothendieck topos, A logic of implications in algebra and coalgebra, Heisenberg-picture quantum field theory, Flat covers and factorizations, Polyadic sets and homomorphism counting, A classification of accessible categories, Decomposing filtered chain complexes: geometry behind barcoding algorithms, Relating CASL with other specification languages: the institution level., A simple characterization of theories of varieties, Fast left Kan extensions using the chase, Discrete density comonads and graph parameters, Algebraic presentation of semifree monads, Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete, 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories, Coalgebra morphisms subsume open maps, Adjoint functor theorems for homotopically enriched categories, On abstract data types presented by multiequations, A generalization of the duality compactness theorem
