scientific article; zbMATH DE number 3549200
From MaRDI portal
Publication:4123496
zbMATH Open0353.18007MaRDI QIDQ4123496FDOQ4123496
Authors: Ernest G. Manes
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)