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
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, 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, Unnamed Item, (Co)Homology of crossed modules, Modules in the Category $$\mathtt {\mathbf{Sup}}$$, A characterisation of the category of compact Hausdorff spaces, 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, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, Logical quantization of differential geometry, Categorical foundations of variety-based bornology, Lattice-valued topological systems as a framework for lattice-valued formal concept analysis, Completing simple valuations in K-categories, Logical quantizations of first-order structures, Combining algebraic effects with continuations, A survey on the categorical term construction with applications, How the F-transform can be defined for hesitant, soft or intuitionistic fuzzy sets?, Lattice-valued soft algebras., Quantalic topological theories, Homomorphisms, homomorphic relations and power algebras, Foundations of system theory: The Hankel matrix, On a generalization of the concept of state property system, General affine adjunctions, Nullstellensätze, and dualities, C-system of a module over a \(Jf\)-relative monad, Some categorical aspects of information systems and domains, On valued rings, Categorically algebraic topology versus universal topology, A characterization of the category \(Q\)-\(\mathbf{TOP}\), Petri nets are monoids, Finitary quasi-varieties, Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics, Clopen objects, connected objects, and normalized topological categories, Coproducts of distributive lattice-based algebras., Powersets of terms and composite monads, Topological cones: functional analysis in a \(T_{0}\)-setting, Combining semilattices and semimodules, An algebraic model of synchronous systems, A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization, Monads and algebras in the semantics of partial data types, The enriched Vietoris monad on representable spaces, Domains arising as algebras for powerspace constructions, Empirical set theory, Elements of a theory of algebraic theories, Coproducts in the category \(\mathbf M\kappa\mathbf{Frm}\), On quasivarieties and varieties as categories, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms, Combining effects: sum and tensor, Zum Satz von Freyd und Kelly, Variable-basis topological systems versus variable-basis topological spaces, One more categorical model of universal algebra, Higher commutator conditions for extensions in Mal'tsev categories, Extension theories for monoids, On the relationship between composite and tensor product triples, Generalized rewrite theories, coherence completion, and symbolic methods, Every topological category is convenient for Gelfand duality, Equational aspects of ultrafilter convergence, Categorical constructions of free algebras, colimits, and completions of partial algebras, On the equational theory of \(C^*\)-algebras, Characterization of a category for monoidal topology, The category of complete lattices as a category of algebras, Infinite hypergraphs. I: Basic properties, The Vietoris monad and weak distributive laws, Notions of computation and monads, Bisimulation of automata, Domain semantics of possibility computations, Codensity, profiniteness and algebras of semiring-valued measures, Separated and prime compactifications, Automata theory based on complete residuated lattice-valued logic: a categorical approach, Modal Predicates and Coequations, A characterization of the category FCS, Universal coalgebra: A theory of systems, On notions of factorization systems and their applications to cone- injective subcategories, Generating the algebraic theory of C(X), Relational powerset theories, P-varieties - a signature independent characterization of varieties of ordered algebras, Order completion monads, Deterministic and nondeterministic flowchart interpretations, Tensor product of partially-additive monoids, Approximations of fuzzy soft sets by fuzzy soft relations with image processing application, Toward an infinitary logic of domains: Abramsky logic for transition systems, On conceptual completeness of syntactic-semantical systems, Full abstraction for PCF, Algebraic presentation of semifree monads, On fuzzification of topological categories, The algebraic theory of order, The free completely distributive lattice over a poset, On free, projective, and strongly flat acts
