scientific article; zbMATH DE number 692330
From MaRDI portal
Publication:4314472
zbMath0843.18001MaRDI QIDQ4314472
Publication date: 22 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
free algebrametric spacealgebraic theoriesfibrationsembedding theoremsgroup extensionsadditive categorieslimitexponentiationtensor productexact categoriesmonadsuniversal algebratopological categoriessymmetric monoidal categoryGrothendieck topoicalculus of relationscolimitfactor systemsindexed categoriesregular categoriesMorita dualityenriched category theoryaccessible categoriesabelian categoriescotensorscategorical model theoryCauchy completeclosed categoriestriplefibered categoriesBarr-exact categoriesdistributorscartesian closedalgebraic categoriestopological functorpseudofunctorsinitial structuresregular epimorphismsdegrees of accessibilitycategories of sheaves of setsdescent theory for modulesfinal structuresfunctorial cleavageIsbell-Ehresmann sketchesmonadicity criteriaregular projective generatorstructure-semanticsuniversal factorization properties
Related Items (only showing first 100 items - show all)
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 ⋮ Homotopical Morita theory for corings
This page was built for publication:
