scientific article; zbMATH DE number 3549200

zbMATH Open0353.18007MaRDI QIDQ4123496FDOQ4123496

Publication date: 1976

Title of this publication is not available (Why is that?)

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)

Cited In (only showing first 100 items - show all)

Density in categorical topology via quantaloid-enriched categories
When is a variety a topos ?
Domains arising as algebras for powerspace constructions
Empirical set theory
Generalizing Substitution
General affine adjunctions, Nullstellensätze, and dualities
Nominal lambda calculus: an internal language for FM-Cartesian closed categories
A characterization of the category $Q$-$\mathbf{TOP}$
On the equational theory of $C^*$-algebras
Categorical constructions of free algebras, colimits, and completions of partial algebras
Title not available (Why is that?)
Title not available (Why is that?)
Characterization of a category for monoidal topology
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
Infinite hypergraphs. I: Basic properties
Notions of computation and monads
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Categorical foundations of topology with applications to quantaloid enriched topological spaces
Fuzzy terms
Lattice-valued topological systems as a framework for lattice-valued formal concept analysis
Bisimulation of automata
Topology and logic as a source of algebra
Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures
On a generalization of the concept of state property system
A topological approach to structure theory, I
(Co)Homology of crossed modules
Combining algebraic effects with continuations
Petri nets are monoids
Topological cones: functional analysis in a $T_{0}$-setting
Notes on Point-Free Topology
Relation lifting, a survey
The saturated prefilter monad
Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
Order-adjoint monads and injective objects
Universal coalgebra: A theory of systems
Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics
Coproducts of distributive lattice-based algebras.
Variable-basis topological systems versus variable-basis topological spaces
Automata theory based on complete residuated lattice-valued logic: a categorical approach
On conceptual completeness of syntactic-semantical systems
One more categorical model of universal algebra
Full abstraction for PCF
Deterministic and nondeterministic flowchart interpretations
On free, projective, and strongly flat acts
Finitary quasi-varieties
Hopf monoids in varieties
Topological theories and closed objects
The fundamental group as the structure of a dually affine space
On quasivarieties and varieties as categories
Partially Ordered Monads and Rough Sets
Domain semantics of possibility computations
POWERSET OPERATOR BASED FOUNDATION FORPOINT-SET LATTICE-THEORETIC (POSLAT) FUZZY SET THEORIES and TOPOLOGIES
Graph expressions and graph rewritings
Combining effects: sum and tensor
Extension theories for monoids
The enriched Vietoris monad on representable spaces
Elements of a theory of algebraic theories
Modal predicates and coequations
A characterization of the category FCS
Basic concepts of quantale-enriched topologies
Simplicial Endomorphisms
Title not available (Why is that?)
Powersets of terms and composite monads
Title not available (Why is that?)
Banach spaces and totally convex spaces I
Banach spaces and totally convex spaces II
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras
A graphical approach to monad compositions
The Birkhoff variety theorem for continuous algebras
Lattice-valued soft algebras.
SIERPINSKI OBJECTS IN SUBCATEGORIES OF FTS
Generating the algebraic theory of C(X)
Coproducts of Ideal Monads
Median Algebra
THE SUBSPACE PROBLEM IN THE TRADITIONAL POINT-SET CONTEXT OF FUZZY TOPOLOGY
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Generic Algebras
Every topological category is convenient for Gelfand duality
Title not available (Why is that?)
The category of complete lattices as a category of algebras
Extensional equality preservation and verified generic programming
A characterisation of the category of compact Hausdorff spaces
Generalized rewrite theories, coherence completion, and symbolic methods
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
Ambiguity and Incomplete Information in Categorical Models of Language
Algebraic presentation of semifree monads
On the relationship between composite and tensor product triples
The pebble-relation comonad in finite model theory
Crypt-equivalent algebraic specifications
Combining semilattices and semimodules
The Vietoris monad and weak distributive laws
Dragging Proofs Out of Pictures
Modules in the Category $$\mathtt {\mathbf{Sup}}$$
Discrete equational theories
Compositional term rewriting: An algebraic proof of Toyama's theorem
Some categorical aspects of information systems and domains
Title not available (Why is that?)
The double contravariant powerset monad in the Goguen category of fuzzy sets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4123496)