scientific article; zbMATH DE number 692330

Publication date: 22 November 1994

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

free algebra metric space algebraic theories fibrations embedding theorems group extensions additive categories limit exponentiation tensor product exact categories monads universal algebra topological categories symmetric monoidal category Grothendieck topoi calculus of relations colimit factor systems indexed categories regular categories Morita duality enriched category theory accessible categories abelian categories cotensors categorical model theory Cauchy complete closed categories triple fibered categories Barr-exact categories distributors cartesian closed algebraic categories topological functor pseudofunctors initial structures regular epimorphisms degrees of accessibility categories of sheaves of sets descent theory for modules final structures functorial cleavage Isbell-Ehresmann sketches monadicity criteria regular projective generator structure-semantics universal factorization properties

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to category theory (18-00)

Related Items

The Grothendieck and Picard groups of finite rank torsion free $\mathfrak{sl}(2)$-modules, Strong shape in categories enriched over groupoids, Gerbes and homotopy quantum field theories, Comparing Cartesian closed categories of (core) compactly generated spaces, Formal groups and stable homotopy of commutative rings, $K$-theory and derived equivalences, Paracategories. I: Internal paracategories and saturated partial algebras, Monadic vs adjoint decomposition, Idempotent plethories, On the nonexistence of elements of Kervaire invariant one, On homotopy varieties, Tensor envelopes of regular categories, $A_{n}$ theory, L.S. category, and strong category, On functors between categories of modules over trusses, Algebraic models of change of groups functors in (co)free rational equivariant spectra, Bar constructions for topological operads and the {G}oodwillie derivatives of the identity, Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories, A perspective on non-commutative frame theory, Logical quantizations of first-order structures, Actads, A proof of the existence of Batanin's initial operad, Elimination of quotients in various localisations of premodels into models, The Gray tensor product via factorisation, On the local Cartesian closure of exact completions, String diagrams for traced and compact categories are oriented 1-cobordisms, Frobenius and separable functors for the category of entwined modules over cowreaths. I: general theory, An embedding theorem for regular Mal'tsev categories, Double-pushout-rewriting in $S$-Cartesian functor categories: rewriting theory and application to partial triple graphs, Fundamental constructions for coalgebras, corings, and comodules., Algebras versus coalgebras, Derivators, pointed derivators and stable derivators, Logical rules as fractions and logics as sketches, Relative full completeness for bicategorical Cartesian closed structure, Flow does not model flows up to weak dihomotopy, Maps and monads for modal frames, Model categories for orthogonal calculus, Hom-tensor relations for (quasi-) comodule algebras., Levelwise modules over separable monads on stable derivators, An axiomatic survey of diagram lemmas for non-abelian group-like structures, Homotopy colimits of algebras over Cat-operads and iterated loop spaces, On the asymptotic magnitude of subsets of Euclidean space, Cellular categories, Moduli spaces of algebras over nonsymmetric operads, Formal plethories, D-ultrafilters and their monads, $FI$-modules over preadditive categories and torsion theories, Enriched duality in double categories: $\mathcal{V}$-categories and $\mathcal{V}$-cocategories, Gabriel-Morita theory for excisive model categories, Nerves of 2-categories and 2-categorification of $( \infty ,2)$-categories, Recollements for derived categories of enriched functors and triangulated categories of motives, Decompositions of derived categories of gerbes and of families of Brauer-Severi varieties, Complete and directed complete $\Omega $-categories, Unstable operations on $K$-theory for singular schemes, Factorizing the $\mathbf{Top}$-$\mathbf{Loc}$ adjunction through positive topologies, Calculus of functors, operad formality, and rational homology of embedding spaces, Binding operators for nominal sets, The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}, Witt vectors and $K$-theory of automorphisms via noncommutative motives, Embedding locales and formal topologies into positive topologies, Natural multitransformations of multifunctors, Fraïssé's construction from a topos-theoretic perspective, Monadic decompositions and classical Lie theory, On quasivarieties and varieties as categories, Differential graded versus simplicial categories, Homotopy algebras and the inverse of the normalization functor, Cartesian closed topological categories and tensor products, Categorical abstract algebraic logic: Partially ordered algebraic systems, Flat base change formulas for $(\mathfrak{g}, K)$-modules over Noetherian rings, Conservative descent for semi-orthogonal decompositions, Descent of Hilbert $C^*$-modules, Beth definability and the Stone-Weierstrass theorem, Mapping spaces and $R$-completion, Filtered $cA_\infty$-categories and functor categories, Fibrational bisimulations and quantitative reasoning, Categorical Büchi and parity conditions via alternating fixed points of functors, Enriched model categories and presheaf categories, On final coalgebras of power-set functors and saturated trees, The universal property of infinite direct sums in $\hbox{C}^*$-categories and $\hbox{W}^*$-categories, The monadic tower for $\infty$-categories, Homotopical adjoint lifting theorem, Auslander-Reiten theory in quasi-abelian and Krull-Schmidt categories, Faithfully flat descent for magmas, The subobject decomposition in enveloping tensor categories, Separated and prime compactifications, The exact completion for regular categories enriched in posets, Duality theory for enriched Priestley spaces, Containers: Constructing strictly positive types, dg analogues of the Zuckerman functors and the dual Zuckerman functors. I, Heavily separable functors, Reedy diagrams in V-model categories, Flows on classes of regular semigroups and Cauchy categories, Categorical non-abelian cohomology and the Schreier theory of groupoids, Bicategories of fractions for groupoids in monadic categories, Matrix taxonomy and Bourn localization, A characterization of the left exact categories whose exact completions are toposes, Leibniz homology of Lie algebras as functor homology, Exponential Kleisli monoids as Eilenberg-Moore algebras, Cubical approximation for directed topology. I, On string topology of classifying spaces, Metric, topology and multicategory -- a common approach, Internal Neighbourhood Structures II: Closure and closed morphisms, Compositional term rewriting: An algebraic proof of Toyama's theorem, Closure operators in the category of quandles, Unnamed Item, Motivic homotopy theory of group scheme actions, Coherence for bicategorical cartesian closed structure, Metric monads, Cofree objects in the centralizer and the center categories, Six model categories for directed homotopy, Unnamed Item, Descent and Galois theory for Hopf categories, Genuine equivariant operads, Cauchy completeness for DG-categories, A functorial approach to monomorphism categories for species I, Flat vs. filtered colimits in the enriched context, Unnamed Item, Unnamed Item, Grothendieck enriched categories, Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds, Fundamentals of compositional rewriting theory, Monoidal closedness of the category of stratified $L$-semiuniform convergence spaces, Fuzzy quantifiers defined over fuzzy domains, Monoids with quantale-valued preorders: globalizations and localizations, Categories of Empirical Models, Categorification of a set relation geometry induced by rough operators, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, Diagrammatic presentations of enriched monads and varieties for a subcategory of arities, Diagonals between $\mathcal{Q}$-distributors, The tensor embedding for a Grothendieck cosmos, Semiseparable functors, Smallness in topology, The left heart and exact hull of an additive regular category, Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories, GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES, On some categories of structured sets, Levels of algebraicity in stable homotopy theories, Realizing orders as group rings, Discrete equational theories, Promonads and String Diagrams for Effectful Categories, Varieties of ordered algebras as categories, Liftable pairs of functors and initial objects, Barr-exact categories and soft sheaf representations, Sheaf representation of monoidal categories, Derived homotopy algebras, Categorical composable cryptography: extended version, The syntactic side of autonomous categories enriched over generalised metric spaces, Eilenberg's variety theorem without Boolean operations, Extending Resource Monotones using Kan Extensions, Free hypermodules: a categorical approach, Cohomology of Modules Over -categories and Co--categories, External Spanier-Whitehead duality and homology representation theorems for diagram spaces, Unnamed Item, On one class of commutative operads, Unnamed Item, Unnamed Item, Unnamed Item, Cofree coalgebras and differential linear logic, Unique decomposition of homogeneous languages and application to isothetic regions, Six operations formalism for generalized operads, Tensor Products and Preservation of Weighted Limits, forS-Posets, Operads for algebraic quantum field theory, An Isbell duality theorem for type refinement systems, Fuzzy logic and enriched categories, The matrix taxonomy of finitely complete categories, Exceptional values of p-Adic Derivatives, a survey with some improvements, Modal Operators for Coequations, Unnamed Item, Pseudo-Kan Extensions and Descent Theory, Homotopy theory with marked additive categories, Shifted double Lie-Rinehart algebras, Universal Constructions for (Co)Relations: categories, monoidal categories, and props, Comodules and Corings, Unnamed Item, Graded multiplications on iterated bar constructions, Universal homotopy theories, Combinatorial model categories have presentations, GL-equivariant modules over polynomial rings in infinitely many variables, Every homotopy theory of simplicial algebras admits a proper model, Unnamed Item, A characterisation of the category of compact Hausdorff spaces, Filtered cocategories, Higher symmetries in abstract stable homotopy theories, When is Flatness Coherent?, Galois and cleft monoidal cowreaths. Applications, Involutive categories, colored $\ast$-operads and quantum field theory, Homotopy theory of Moore flows (II), The formal theory of multimonoidal monads, Derived categories for Grothendieck categories of enriched functors, The Uniformity Principle on Traced Monoidal Categories, Factorization systems and fibrations, On Differential Torsion Theories and Rings with Several Objects, Unnamed Item, Unnamed Item, Quantifiers on languages and codensity monads, 𝐾-theory and topological cyclic homology of henselian pairs, An Introduction to Regular Categories, Epireflective subcategories and formal closure operators, Hopf and Lie algebras in semi-additive Varieties, A BRICK VERSION OF A THEOREM OF AUSLANDER, Unnamed Item, Unnamed Item, Unnamed Item, Homotopical Morita theory for corings, Basic concepts of quantale-enriched topologies, On algebras over multicategories, The DG-category of secondary cohomology operations, On the axiomatisability of the dual of compact ordered spaces, Extension theory and the calculus of butterflies, Generalized relations in linguistics \& cognition, Postnikov towers, $k$-invariants and obstruction theory for dg categories, Koszul-Tate resolutions as cofibrant replacements of algebras over differential operators, Exponentiable functors between quantaloid-enriched categories, The snail lemma in a pointed regular category, Model-theoretic imaginaries and coherent sheaves, The fiber of functors between categories of algebras, Tensor functional topology on Woronowicz categories, Fuzzy preorder and fuzzy topology, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, On regularization of vector distributions on manifolds, Hopf monoids in varieties, Precompact Abelian groups and topological annihilators, The category-theoretic solution of recursive program schemes, Hopf categories, Approximate injectivity, Rigidification of algebras over multi-sorted theories, Constructing infinite comatrix corings from colimits., Categorical abstract algebraic logic: meet-combination of logical systems, Preorientations of the derived motivic multiplicative group, Tannakian formalism for fiber functors over tensor categories, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, A categorification of quantum $\mathfrak{sl}(2)$, The fundamental pro-groupoid of an affine 2-scheme, Monotone-light factorisation systems and torsion theories, Closure categories, Homotopy theory of non-symmetric operads. II: Change of base category and left properness, Recognizing mapping spaces, Fibred 2-categories and bicategories, Liminf convergence in $\Omega$-categories, Biset transformations of Tambara functors, Representable $(\mathbb{T},\mathbf{V})$-categories, Multiplicative structures on the twisted equivariant $K$-theory of finite groups, Duality and small functors, Twisted genera of symmetric products, Topological Morita contexts, Homotopy homomorphisms and the classifying space functor, Chu connections and back diagonals between $\mathcal{Q}$-distributors, Monoidal indeterminates and categories of possible worlds, Free internal groups, Descent in triangulated categories, Higher homotopy operations and André-Quillen cohomology, Milnor-Moore categories and monadic decomposition, Quadratic functors on pointed categories, Weak reflections and weak factorization systems, Grothendieck categories of enriched functors, The Schützenberger category of a semigroup., Waldhausen $K$-theory of spaces via comodules, A bicategorical version of Masuoka's theorem., Characterizing Artin stacks, The basic geometry of Witt vectors. I: The affine case, Diagram spaces and symmetric spectra, Group actions on Segal operads, Calculus of functors and model categories. II, Grothendieck inclusion systems, On an extension of the notion of Reedy category, Triposes, q-toposes and toposes, A model structure for coloured operads in symmetric spectra, The geometry of blueprints. I: Algebraic background and scheme theory, Segal-type algebraic models of $n$-types, The change-base issue for $\Omega$-categories, Elements of generalized ultrametric domain theory, Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59], Higher cohomology operations and $R$-completion, The Bousfield localizations and colocalizations of the discrete model structure, Trace decategorification of categorified quantum $\mathfrak {sl}_2$, Derived $A$-infinity algebras and their homotopies, The diagonal of a multicosimplicial object, Comparing cohomology obstructions, Hereditary uniserial categories with Serre duality, Homotopy theory of nonsymmetric operads, Probabilities, distribution monads, and convex categories, Derived smooth manifolds, Witt vectors and Tambara functors, Idempotent monads and $\star $-functors, Monads on higher monoidal categories, On direct summands of homological functors on length categories. In memory of Hans-Bjørn Foxby, Comparing homologies: Čech's theory, singular chains, integral flat chains and integral currents, The free wreath product of a compact quantum group by a quantum automorphism group, Moduli stacks of algebraic structures and deformation theory, On the construction of free algebras for equational systems, Many for the price of one duality principle for affine sets, Homotopy theory of spectral categories, Lawvere completeness in topology, Mal'cev conditions revisited, Sheaves and $K$-theory for $\mathbb F_1$-schemes, A convenient category of locally preordered spaces, Weighted colimits and formal balls in generalized metric spaces, Dinatural numbers, Localizations of algebraic categories. II, Permutative categories, multicategories and algebraic $K$-theory, Generalized spectral categories, topological Hochschild homology and trace maps, On the canonical algebraic structure of a category, Orbifold completion of defect bicategories