re: universal algebra and diagrammatic reasoning

re: universal algebra and diagrammatic reasoning

[Dr. Cyrus F Nourani]

Hello, might be interested that my Morph Gentzen project since 1995,
Virtual Geometry, ADG Zurich 2003,
and two books published 1999 http://www.lulu.com/CrisFN, 
2005 http://www.aspbs.com/mutlimedia.html
are on a diagrammatic,categorial initial algebras, and structures on Lw1,w.
Cyrus  

> ----- Original Message -----
> From: "John Baez" <baez@math.ucr.edu>
> To: categories@mta.ca 
> Subject: categories: universal algebra and diagrammatic reasoning
> Date: Thu, 26 Jan 2006 13:09:36 -0800 (PST)
> 
> 
> Hi -
> 
> I hope to see some of you in Marseille for Geocal06!  I'll be
> talking about "universal algebra and diagrammatic reasoning",
> and there's a bunch of lecture notes here:
> 
> http://math.ucr.edu/home/baez/universal/
> 
> Abstract:
> 
> Since the introduction of category theory, the old subject of
> "universal algebra" has diversified into a large collection of
> frameworks for describing algebraic structures.  These include
> "monads" (formerly known as "triples"), the "algebraic theories"
> of Lawvere, and the "PROPs" of Boardman and Vogt.  We give an
> overview of these different frameworks, which are closely
> related, and explain how one can reason diagrammatically about
> algebraic structures defined using them.  We focus on the bar
> construction and the relation between algebraic theories and PROPs.
> 
> (I feel guilty for not talking about operads... I'll do it if
> there's time!)
> 
> Best,
> jb

>


-- 
_______________________________________________

Search for businesses by name, location, or phone number.  -Lycos Yellow Pages

http://r.lycos.com/r/yp_emailfooter/http://yellowpages.lycos.com/default.asp?SRC=lycos10

universal algebra and diagrammatic reasoning

[John Baez]

Hi -

I hope to see some of you in Marseille for Geocal06!  I'll be
talking about "universal algebra and diagrammatic reasoning",
and there's a bunch of lecture notes here:

http://math.ucr.edu/home/baez/universal/

Abstract:

Since the introduction of category theory, the old subject of
"universal algebra" has diversified into a large collection of
frameworks for describing algebraic structures.  These include
"monads" (formerly known as "triples"), the "algebraic theories"
of Lawvere, and the "PROPs" of Boardman and Vogt.  We give an
overview of these different frameworks, which are closely
related, and explain how one can reason diagrammatically about
algebraic structures defined using them.  We focus on the bar
construction and the relation between algebraic theories and PROPs.

(I feel guilty for not talking about operads... I'll do it if
there's time!)

Best,
jb