FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
From MaRDI portal
Cited in
(only showing first 100 items - show all)- All clones are centralizer clones
- Homotopy nilpotent groups
- P-varieties - a signature independent characterization of varieties of ordered algebras
- A note on powers of Hausdorff fields
- Order completion monads
- A representation of varieties and their morphisms
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- On flowchart theories. I. The deterministic case
- Categorical aspects of data type constructors
- On the left exactness of orthogonal reflections
- Generalized algebraic theories and contextual categories
- Subobject classifier for algebraic structures
- On the existence of free topological groups
- Finite generation of ambiguity in context-free languages
- Two-dimensional monad theory
- Equational properties of iteration in algebraically complete categories
- Final algebra semantics and data type extensions
- Universal algebra in a closed category
- Natural transformations of organismic structures
- Categories localement multipresentables
- Unique fixed points vs. least fixed points
- Machines in a category
- Categories multialgebriques
- Varieties of chain-complete algebras
- On the relationship between algebra and analysis
- Triples and compact sheaf representation
- Inclusive first-order logic
- More on advice on structuring compilers and proving them correct
- Recursion-closed algebraic theories
- Cohomology operations in a category
- The Birkhoff theorem for finite algebras
- Properties of well-adapted models for synthetic differential geometry
- Characterization of the category of linearly ordered sets
- Finitary quasi-varieties
- Regular trees and the free iterative theory
- A class of fuzzy theories
- Continuous extrapolation to triangular matrices characterizes smooth functions
- Classes of finite relations as initial abstract data types. I
- Quantaloidal nuclei, the syntactic congruence and tree automata
- An algebraic model of synchronous systems
- An algebraic semantics for structured transition systems and its application to logic programs
- Foundations of a theory of synchronous systems
- Algebraically compact functors
- On the existence and exactness of the associated sheaf functor
- Program schemata as automata. I
- Characterizing Mal'cev conditions
- The diamond lemma for ring theory
- The existence and construction of free iterative theories
- Compatibility and extensions of algebraic theories
- Varieties of ordered algebras
- Affine parts of algebraic theories. I
- Matricial theories
- Rings, fields, and spectra
- On the algebraic structure of rooted trees
- On the relationship between composite and tensor product triples
- Tensor products of theories, application to infinite loop spaces
- The category of complete lattices as a category of algebras
- Algebraic theories of quasivarieties
- Group axioms for iteration
- Localizations of algebraic categories. II
- Affine algebraic sets relative to an algebraic theory
- Models of Horn theories revisited
- A cohomology theory for A(m)-algebras and applications
- On the notion of bimodel for functorial semantics
- Galois theory and a general notion of central extension
- An algebraic theory of normal forms
- On the generic solution to \(P(X)\cong X\) in distributive categories
- The equational logic of fixed points
- Completeness of Park induction
- A characterization of k-ary algebraic categories
- Combining word problems through rewriting in categories with products
- Towards an algebraic theory of Boolean circuits.
- Finitely coordinated and finitely copresentable affine algebraic sets
- Detecting equivalence of modular specifications with categorical diagrams
- On the canonical algebraic structure of a category
- Semistability and infinite loop spaces
- Maps of finite powers of metric spaces (recursive conditions for spaces at work)
- Dynamic connectors for concurrency
- Coalgebra morphisms subsume open maps
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Topological systems as a framework for institutions
- The Gray tensor product via factorisation
- Bousfield localisation and colocalisation of one-dimensional model structures
- Gabriel-Morita theory for excisive model categories
- Uniqueness of Coxeter structures on Kac-Moody algebras
- Convex spaces, affine spaces, and commutants for algebraic theories
- Complete Elgot monads and coalgebraic resumptions
- Conformal field theory and elliptic cohomology
- Locating reaction with 2-categories
- Amalgamation in the semantics of CASL
- On quasivarieties and varieties as categories
- Observational congruences for dynamically reconfigurable tile systems
- A 2-categorical extension of Etingof-Kazhdan quantisation
- Mapping spaces and R-completion
- What we talk about when we talk about numbers
- Derived functors of graded algebras
- On locales of localizations
- Equational logic of circular data type specification
- Similarities between powersets of terms
This page was built for publication: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5730919)
