Dear Colleague: This letter informs you about a new version of the Universal Algebra Calculator program. The present version has the following math...
75
mr matthew spinks
mspinks@...
Aug 2, 2001 8:42 am
Hello All, Does anyone know the answers to the following questions? I suspect the answers are all quite well known, but I can't immediately locate them in...
76
Paolo Agliano
agliano@...
Aug 2, 2001 10:33 am
... YES ... YES Paolo Agliano...
77
kearnes@...
Aug 2, 2001 11:56 pm
... Let A = <{0,1};*,f,g,0> and B = <{0,1};*,f,g,0> be algebras of type <2,1,1,0>, where * = multiplication modulo 2 in both algebras 0 = 0 in both algebras ...
78
whrowan@...
Sep 5, 2001 11:20 pm
I have defined this category and am using it in a project I am working on. I wonder if anyone has seen anything similar in the literature. The idea is that...
79
whrowan@...
Sep 6, 2001 4:56 am
Thanks to whoever it was who responded to my post. The theory you mentioned isn't quite what I am looking for, however. Unfortunately, I deleted the message...
80
charlieldu@...
charlieldu
Oct 31, 2001 12:59 am
Queridos colegas: Hace dos meses asistí a un Seminario llamado "Laboratorio de álgebra, un profesor ecuatoriano ha estadop trabajand en este proyecto, pero ...
81
Shelly Wismath
wismaths@...
Nov 1, 2001 4:33 pm
Dear Colleague, The Summer 2002 Meeting of the Canadian Mathematical Society includes a session on Universal Algebra. The conference is at Laval University in...
82
whrowan@...
whrowan94620
Nov 10, 2001 4:36 am
Hello everyone, We now have 126 members. New people keep joining all the time. I just wanted to say hello to all the new people, and welcome. Please feel ...
83
Michael Kinyon
mkkinyon
Nov 10, 2001 4:46 pm
Hi All, Since there now seem to be quite a few members of this list, I wonder if anyone would care to comment upon the following. I am puzzled over the recent...
84
Sydney Bulman-Fleming
sbulman@...
Nov 10, 2001 8:54 pm
Give us a reference for "operad theory", please. I grew up in UA and have worked in semigroup theory for the past couple of decades, and for some reason...
85
Mark Weber
mweber@...
Nov 12, 2001 5:49 am
... Much could be (and has been) written in answer to the above question. Here is a brief summary of my perspective (my background is in higher dimensional ...
86
Matt Insall
draagekreik
Nov 12, 2001 10:31 am
MArk Weber wrote: ``In universal algebra one usually considers algebraic structure placed on a set. Operads were originally developed in homotopy theory to...
87
s.j.vickers@...
Nov 12, 2001 10:40 am
What's the general categorical definition of operad? Steve Vickers Department of Pure Maths Faculty of Maths and Computing The Open University ... Tel:...
88
Mark Weber
mweber@...
Nov 13, 2001 1:10 am
... There are 2 types of mathematical objects that must be distinguished (1) The operads or monads (or theories or clones of operators) (2) The mathematical...
89
Michael Kinyon
mkkinyon
Nov 13, 2001 2:13 am
... I daresay. Part of my confusion, besides a general ignorance of homotopy theory, is that some popularizations of operads emphasize its role as a general...
90
Matt Insall
draagekreik
Nov 13, 2001 2:54 am
Hello Mark, You mentioned several times the use of a ``sequence'' of objects. Do you mena a countable (i.e. denumerable or finite) sequence, or can the index ...
91
Mark Weber
mweber@...
Nov 13, 2001 4:34 am
... In my earlier posts the sequences were indexed by the natural numbers. The spaces we consider, ie the objects of the category of compact haussdorf spaces, ...
92
Matt Insall
draagekreik
Nov 13, 2001 1:35 pm
Hello Mark, Thanks for clearing this up some more. Matt http://www.bus.lsu.edu/accounting/faculty/lcrumbley/study.htm...
93
Luigi Santocanale
spook6767
Nov 14, 2001 7:14 pm
In Burris and Sankappanavar, 8.14, it is shown that: if the finitely generated congruences of an algebra A form a distributive relatively complemented...
94
wtaylor@...
Nov 17, 2001 12:24 am
As for operads, here is what I mentioned about them on page 233 of my paper on Spaces and Equations, Fund. Math. 164 (2000), 193-240. As an aside, we mention...
95
s.j.vickers@...
Nov 19, 2001 10:06 am
There's some discussion on the Universal Algebra list at present on operads. I'm not very familiar with them. What I understand from the discussion is they...
96
anantaneja@...
anantaneja
Nov 22, 2001 5:19 pm
HI there, Ive just joined this group and hope that someone could help me with this problem in PROBABILITY. ques: It is estimated that the AVERAGE number in 20...
97
wtaylor@...
Nov 29, 2001 3:42 am
Conference in Honor of Jan Mycielski June 1-2, 2002 Boulder Colorado First announcement Subject: Foundations of Mathematics Location: Math Building, University...
98
Agnes Szendrei
agnesszendrei
Nov 30, 2001 7:46 pm
First Announcement of the Conference UNIVERSAL ALGEBRA AND LATTICE THEORY (Szeged, Hungary, July 22-26, 2002) Dedicated to the 70th birthday of Bela Csakany ...
99
Osher Doctorow
osherdoctoro...
Jan 19, 2002 6:36 am
From: Osher Doctorow osher@..., Fri. Jan. 18, 2002 10:31PM In accordance with my new cross-list-posting policy, I refer readers to my paper Fuzzy...
100
Bill Rowan
whrowan94620
Feb 8, 2002 11:47 pm
Hi everyone. I have a couple of questions about terminology. First, which is better to say, "Mal'cev variety," or "congruence-permutable variety?" JDH Smith...
101
Vaughan Pratt
pratt@...
Feb 10, 2002 5:34 am
... [As a picky point, is this question well posed? Type determines the arity of the operations but not the cardinality of the generator set (the variables), ...
102
Hans-E. Porst
porst@...
Feb 10, 2002 1:32 pm
... They are if you define varieties properly (as categories of algebras [of a given type \Sigma ] satisfying a prescribed class of equations and admitting ...
103
Insall
draagekreik
Feb 11, 2002 12:42 am
Professors Porst and Pratt, (In this post, because I compose it somewhat hastily, there is some abus de notation that I would usually prefer to eliminate. In...
