scientific article

No author found.

Publication date: 1982

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

free algebras endofunctor free algebraic theories

Theories (e.g., algebraic theories), structure, and semantics (18C10) Free algebras (08B20) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

Some analytic features of algebraic data, Semantics of weakening and contraction, Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations, Characterization of monoids by properties of regular acts, On reflective subcategories of varieties, On flowchart theories. I. The deterministic case, On the structure and representation of clones, Algebraic solutions to recursion schemes, \(\kappa\)-frames, Constructing a quasi-uniform function space, Algebraic theories of compact pospaces, \(FTS_ 0:\) The epireflective hull of the Sierpinski object in FTS, Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras, Sierpinski object for affine systems, Coalgebraic representations of distributive lattices with operators, Finitary spectral algebraic theories, Tensor product of operads and iterated loop spaces, Fuzzy sets and sheaves. I: Basic concepts, Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology, Involutive categories and monoids, with a GNS-correspondence, Cartesian closed initial completions, Monad transformers as monoid transformers, Partially additive categories and flow-diagram semantics, Monadic extensions of institutions, Hypergraph functor and attachment, Restriction categories II: Partial map classification, On limits and colimits of variety-based topological systems, Varieties of chain-complete algebras, Are colimits of algebras simple to construct?, Projective quantales: a general view, Adding fuzziness to terms and powerobjects using a monadic approach, Categorical foundations of variety-based topology and topological systems, Compact and hypercomplete categories, Parametrization for order-sorted algebraic specification, Recursion-closed algebraic theories, Probabilistic systems coalgebraically: a survey, The Stone-Cech compactification in the category of fuzzy topological spaces, An algebraic approach to stable domains, An algorithm for verifying equations of morphisms in a category, A description of the fundamental group in terms of commutators and closure operators, A class of fuzzy theories, CABool is monadic over almost all categories, Principles of programming with complex objects and collection types, Projective sup-algebras: a general view, Gödel algebras free over finite distributive lattices, Fundamental group functors in descent-exact homological categories, Foundations of a theory of synchronous systems, Initial Algebras of Terms with Binding and Algebraic Structure, A non-commutative and non-idempotent theory of quantale sets, Composite variety-based topological theories, Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras, Sobriety and spatiality in categories of lattice-valued algebras, From quantale algebroids to topological spaces: fixed- and variable-basis approaches, Probabilities, distribution monads, and convex categories, Fuzzy algebras as a framework for fuzzy topology, Generalized fuzzy topology versus non-commutative topology, A category-theoretic approach to systems in a fuzzy world, Natural state transformations, Adjoint machines, state-behavior machines, and duality, Relationship of algebraic theories to powersets over objects in \(\mathbf {Set}\) and \(\mathbf {Set}\times C\), Algebraic and Categorical Aspects of Quantales, Foundations of fuzzy sets, On the fullness of certain functors, On the algebraic structure of rooted trees, Cost functors and optimal realization, Fuzzy Sierpinski space, Similarities between powersets of terms, Fuzzy complete lattices, Comprehension for Coalgebras, Completion of L-fuzzy relations, Protoadditive functors, derived torsion theories and homology, Coalgebras and monads in the semantics of Java, Trace semantics via determinization, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories, Algebras, polynomials and programs, On institutions for modular coalgebraic specifications., Set functors, \(L\)-fuzzy set categories, and generalized terms., Taut monads and \(T0\)-spaces.