scientific article; zbMATH DE number 3549200

Publication date 1976

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)

scientific article; zbMATH DE number 3929239 (Why is no real title available?)
THE SUBSPACE PROBLEM IN THE TRADITIONAL POINT-SET CONTEXT OF FUZZY TOPOLOGY
Logical quantization of differential geometry
Generic Algebras
scientific article; zbMATH DE number 2156365 (Why is no real title available?)
scientific article; zbMATH DE number 7559272 (Why is no real title available?)
Comodule representations of second-order functionals
The category of complete lattices as a category of algebras
Density in categorical topology via quantaloid-enriched categories
Syntax monads for the working formal metatheorist
scientific article; zbMATH DE number 1522517 (Why is no real title available?)
Generalized rewrite theories, coherence completion, and symbolic methods
Finitely presentable algebras for finitary monads
Extensional equality preservation and verified generic programming
A characterisation of the category of compact Hausdorff spaces
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
When is a variety a topos ?
Domains arising as algebras for powerspace constructions
Empirical set theory
Nominal lambda calculus: an internal language for FM-Cartesian closed categories
Algebraic presentation of semifree monads
General affine adjunctions, Nullstellensätze, and dualities
Topological structures in rough set theory: a survey
0-ideal monad and its applications to approach spaces
Generalizing Substitution
On the equational theory of C^*-algebras
A characterization of the category $Q$-$\mathbf{TOP}$
On the relationship between composite and tensor product triples
Crypt-equivalent algebraic specifications
Lallement functor is a weak right multiadjoint
Combining semilattices and semimodules
Categorical constructions of free algebras, colimits, and completions of partial algebras
The pebble-relation comonad in finite model theory
The Vietoris monad and weak distributive laws
Characterization of a category for monoidal topology
Distributed modal logic
scientific article; zbMATH DE number 3948549 (Why is no real title available?)
scientific article; zbMATH DE number 3724665 (Why is no real title available?)
Infinite hypergraphs. I: Basic properties
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
Are finite affine topological spaces worthy of study?
Notions of computation and monads
Modules in the Category $$\mathtt {\mathbf{Sup}}$$
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Discrete equational theories
Categorical foundations of topology with applications to quantaloid enriched topological spaces
Fuzzy terms
Some categorical aspects of information systems and domains
Compositional term rewriting: An algebraic proof of Toyama's theorem
Lattice-valued topological systems as a framework for lattice-valued formal concept analysis
Bisimulation of automata
On a generalization of the concept of state property system
scientific article; zbMATH DE number 6740664 (Why is no real title available?)
Topology and logic as a source of algebra
The double contravariant powerset monad in the Goguen category of fuzzy sets
Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures
A topological approach to structure theory, I
Combining algebraic effects with continuations
Bicategories in univalent foundations
Petri nets are monoids
(Co)Homology of crossed modules
Topological cones: functional analysis in a $T_{0}$-setting
Partially ordered monads for monadic topologies, rough sets and Kleene algebras
Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
Categorical Innovations for Rough Sets
Relation lifting, a survey
The saturated prefilter monad
The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?}
Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
Order-adjoint monads and injective objects
On fuzzification of topological categories
Notes on Point-Free Topology
Universal coalgebra: A theory of systems
scientific article; zbMATH DE number 3845811 (Why is no real title available?)
Heyting -frames
Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics
Coproducts of distributive lattice-based algebras.
Zum Satz von Freyd und Kelly
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
Unique-sort order-sorted theories : A description as monad morphisms
One more categorical model of universal algebra
Presentations of pseudodistributive laws
Full abstraction for PCF
A categorical account of composition methods in logic
A domain-theoretic approach to statistical programming languages
Deterministic and nondeterministic flowchart interpretations
Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
Many valued topologies on L-sets
On free, projective, and strongly flat acts
Uniqueness logic
Foundations of system theory: The Hankel matrix
Logical quantizations of first-order structures
Eilenberg-Kelly reloaded
Finitary quasi-varieties
A survey on the categorical term construction with applications
Ambiguity and incomplete information in categorical models of language
Hopf monoids in varieties
A unified framework for notions of algebraic theory

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)