scientific article; zbMATH DE number 3549200

Publication date 1976

Algebraic structures (08Axx) Research exposition (monographs, survey articles) pertaining to category theory (18-02) 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)

Cited in

(only showing first 100 items - show all)

Domain semantics of possibility computations
Automata theory based on complete residuated lattice-valued logic: a categorical approach
On notions of factorization systems and their applications to cone- injective subcategories
Generating the algebraic theory of C(X)
P-varieties - a signature independent characterization of varieties of ordered algebras
Order completion monads
Tensor product of partially-additive monoids
The free completely distributive lattice over a poset
On free, projective, and strongly flat acts
The Birkhoff variety theorem for continuous algebras
When is a variety a topos ?
Crypt-equivalent algebraic specifications
Homomorphisms, homomorphic relations and power algebras
Foundations of system theory: The Hankel matrix
On valued rings
Finitary quasi-varieties
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
Zum Satz von Freyd und Kelly
One more categorical model of universal algebra
Extension theories for monoids
On the relationship between composite and tensor product triples
Every topological category is convenient for Gelfand duality
Equational aspects of ultrafilter convergence
Categorical constructions of free algebras, colimits, and completions of partial algebras
The category of complete lattices as a category of algebras
The algebraic theory of order
Convexity theories. 0: Foundations
Relation categories and coproduct congruence categories in universal algebra
Universal coalgebra: A theory of systems
The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?}
Hopf monoids in varieties
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
A survey on the categorical term construction with applications
Quantalic topological theories
On quasivarieties and varieties as categories
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
Higher commutator conditions for extensions in Mal'tsev categories
On the equational theory of C^*-algebras
Infinite hypergraphs. I: Basic properties
Bisimulation of automata
Toward an infinitary logic of domains: Abramsky logic for transition systems
Full abstraction for PCF
Logical quantization of differential geometry
Logical quantizations of first-order structures
Separated and prime compactifications
Relational powerset theories
Approximations of fuzzy soft sets by fuzzy soft relations with image processing application
Algebraic presentation of semifree monads
Algebras of the extended probabilistic powerdomain monad
Eilenberg-Kelly reloaded
Completing simple valuations in K-categories
General affine adjunctions, Nullstellensätze, and dualities
Clopen objects, connected objects, and normalized topological categories
Combining semilattices and semimodules
The enriched Vietoris monad on representable spaces
Elements of a theory of algebraic theories
Generalized rewrite theories, coherence completion, and symbolic methods
The Vietoris monad and weak distributive laws
Codensity, profiniteness and algebras of semiring-valued measures
On fuzzification of topological categories
Uniqueness logic
Topological theories and closed objects
Categorical foundations of variety-based bornology
Some categorical aspects of information systems and domains
Categorically algebraic topology versus universal topology
A characterization of the category \(Q\)-\(\mathbf{TOP}\)
Powersets of terms and composite monads
Coproducts in the category \(\mathbf M\kappa\mathbf{Frm}\)
Combining effects: sum and tensor
Nominal lambda calculus: an internal language for FM-Cartesian closed categories
How the F-transform can be defined for hesitant, soft or intuitionistic fuzzy sets?
C-system of a module over a \(Jf\)-relative monad
Categorical foundations of topology with applications to quantaloid enriched topological spaces
Fuzzy terms
Modal predicates and coequations
No-iteration mixed distributive laws
Relation lifting, a survey
scientific article; zbMATH DE number 436447 (Why is no real title available?)
Dragging proofs out of pictures
The fundamental group as the structure of a dually affine space
scientific article; zbMATH DE number 7217023 (Why is no real title available?)
Distributed modal logic
scientific article; zbMATH DE number 3845811 (Why is no real title available?)
Banach spaces and totally convex spaces I
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
Simplicial Endomorphisms
Lattice-valued topological systems as a framework for lattice-valued formal concept analysis
Birkhoff-Frink representations as functors
Partially Ordered Monads and Rough Sets
Categorical Innovations for Rough Sets
Generic Algebras
Banach spaces and totally convex spaces II
scientific article; zbMATH DE number 3929239 (Why is no real title available?)
scientific article; zbMATH DE number 3948549 (Why is no real title available?)
Graph expressions and graph rewritings
SIERPINSKI OBJECTS IN SUBCATEGORIES OF FTS
scientific article; zbMATH DE number 4076053 (Why is no real title available?)
Median Algebra

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)