scientific article; zbMATH DE number 3549200
From MaRDI portal
Publication:4123496
zbMath0353.18007MaRDI QIDQ4123496
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Algebraic structures (08Axx)
Related Items (only showing first 100 items - show all)
Unique-sort order-sorted theories : A description as monad morphisms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bicategories in univalent foundations ⋮ Compositional term rewriting: An algebraic proof of Toyama's theorem ⋮ CONCRETE CATEGORIES FOR WHICH FIBRE COMPLETIONS INDUCE TOPOLOGICAL COMPLETIONS ⋮ A unified framework for notions of algebraic theory ⋮ Generic Algebras ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ Convexity via Weak Distributive Laws ⋮ An algorithm to minimize representations of finite order relations ⋮ Unnamed Item ⋮ Dragging Proofs Out of Pictures ⋮ Finitary monads on the category of posets ⋮ Finitely Presentable Algebras For Finitary Monads ⋮ Median Algebra ⋮ Unnamed Item ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ Many valued topologies on L-sets ⋮ Operations on Metric Thickenings ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Relational, closure and partition powerset theories ⋮ Sierpinski object for composite affine spaces ⋮ Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures ⋮ Discrete equational theories ⋮ Distributive laws for relative monads ⋮ Eilenberg's variety theorem without Boolean operations ⋮ Simplicial Endomorphisms ⋮ On systems of equations defining infinite graphs ⋮ Graph expressions and graph rewritings ⋮ No-iteration mixed distributive laws ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ SIERPINSKI OBJECTS IN SUBCATEGORIES OF FTS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Topology and logic as a source of algebra ⋮ The double contravariant powerset monad in the Goguen category of fuzzy sets ⋮ Distributed Modal Logic ⋮ Birkhoff-Frink representations as functors ⋮ Topological structures in rough set theory: A survey ⋮ THE SUBSPACE PROBLEM IN THE TRADITIONAL POINT-SET CONTEXT OF FUZZY TOPOLOGY ⋮ POWERSET OPERATOR BASED FOUNDATION FORPOINT-SET LATTICE-THEORETIC (POSLAT) FUZZY SET THEORIES and TOPOLOGIES ⋮ Coproducts of Ideal Monads ⋮ A graphical approach to monad compositions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Banach spaces and totally convex spaces I ⋮ Eilenberg Theorems for Free ⋮ Unnamed Item ⋮ Partially Ordered Monads and Rough Sets ⋮ The formal theory of relative monads ⋮ Unnamed Item ⋮ (Co)Homology of crossed modules ⋮ The pebble-relation comonad in finite model theory ⋮ Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects ⋮ Heyting \(\kappa\)-frames ⋮ The pebble-relation comonad in finite model theory ⋮ Enriching diagrams with algebraic operations ⋮ Modules in the Category $$\mathtt {\mathbf{Sup}}$$ ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ Correspondence between composite theories and distributive laws ⋮ Equalizer in the Kleisli category of the \(n\)-fuzzy powerset monad ⋮ Categorical Innovations for Rough Sets ⋮ A STRUCTURE THEORY FOR A CATEGORY OF BEHAVIOURS ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Unnamed Item ⋮ Generalizing Substitution ⋮ Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras ⋮ OnQ-sobriety ⋮ Notes on Point-Free Topology ⋮ A topological approach to structure theory, I ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas ⋮ Extensional equality preservation and verified generic programming ⋮ Banach spaces and totally convex spaces II ⋮ Unnamed Item ⋮ The Birkhoff variety theorem for continuous algebras ⋮ Nominal lambda calculus: an internal language for FM-Cartesian closed categories ⋮ Density in categorical topology via quantaloid-enriched categories ⋮ The saturated prefilter monad ⋮ When is a variety a topos ? ⋮ Convexity theories. 0: Foundations ⋮ Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ Fuzzy terms ⋮ Basic concepts of quantale-enriched topologies ⋮ Algebras of the extended probabilistic powerdomain monad ⋮ Uniqueness logic ⋮ Eilenberg-Kelly reloaded ⋮ Relation categories and coproduct congruence categories in universal algebra ⋮ Relation lifting, a survey ⋮ The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?} ⋮ Crypt-equivalent algebraic specifications ⋮ Order-adjoint monads and injective objects ⋮ Topological theories and closed objects ⋮ The fundamental group as the structure of a dually affine space ⋮ Hopf monoids in varieties
This page was built for publication:
