Results 1  10
of
123,092
On Vague Universal Algebras
"... Abstract — The concepts of Vague algebra of an Universal algebra, Vague congruence relation on Universal algebra are introduced and a preliminary study is presented. Copy ..."
Abstract
 Add to MetaCart
Abstract — The concepts of Vague algebra of an Universal algebra, Vague congruence relation on Universal algebra are introduced and a preliminary study is presented. Copy
AN OVERVIEW OF MODERN UNIVERSAL ALGEBRA
"... This article, aimed specifically at young mathematical logicians, gives a gentle introduction to some of the central achievements and problems of universal algebra during the last 25 years. ..."
Abstract
 Add to MetaCart
This article, aimed specifically at young mathematical logicians, gives a gentle introduction to some of the central achievements and problems of universal algebra during the last 25 years.
Universal Algebra in Type Theory
 Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs '99, volume 1690 of LNCS
, 1999
"... We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. We use setoids, i.e. ... ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. We use setoids, i.e. ...
On automorphisms of categories of universal algebras
, 2004
"... Given a variety V of universal algebras. A new approach is suggested to characterize algebraically automorphisms of the category of free Valgebras. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category are inner or not. This question is i ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
Given a variety V of universal algebras. A new approach is suggested to characterize algebraically automorphisms of the category of free Valgebras. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category are inner or not. This question
Constraints and Universal Algebra
 Annals of Mathematics and Artificial Intelligence
, 1998
"... In this paper we explore the links between constraint satisfaction problems and universal algebra. We show that a constraint satisfaction problem instance can be viewed as a pair of relational structures, and the solutions to the problem are then the structure preserving mappings between these two r ..."
Abstract

Cited by 25 (4 self)
 Add to MetaCart
In this paper we explore the links between constraint satisfaction problems and universal algebra. We show that a constraint satisfaction problem instance can be viewed as a pair of relational structures, and the solutions to the problem are then the structure preserving mappings between these two
Comprehending Monads
 Mathematical Structures in Computer Science
, 1992
"... Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970's to concisely express certain programs involving lists. This paper shows how list comprehensions may be generalised t ..."
Abstract

Cited by 521 (18 self)
 Add to MetaCart
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970's to concisely express certain programs involving lists. This paper shows how list comprehensions may be generalised
Model Theory and Universal Algebra (II)
"... This is a second exploratory approach to Universal Algebra. Created 2010/12/02 ..."
Abstract
 Add to MetaCart
This is a second exploratory approach to Universal Algebra. Created 2010/12/02
FREE ORDER SORTED UNIVERSAL ALGEBRAS
, 2003
"... Free Order Sorted Universal Algebra — the general construction for any locally directed signatures. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Free Order Sorted Universal Algebra — the general construction for any locally directed signatures.
Universal Algebra and Diagrammatic Reasoning
, 2006
"... Modern universal algebra is the study of general mathematical structures, especially those with an `algebraic' flavor. For example: Monads describe `extra algebraic structure on objects of one xed category'. PROs describe `extra algebraic structure on objects of any monoidal category' ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Modern universal algebra is the study of general mathematical structures, especially those with an `algebraic' flavor. For example: Monads describe `extra algebraic structure on objects of one xed category'. PROs describe `extra algebraic structure on objects of any monoidal category
Results 1  10
of
123,092