Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '645de96aqiq8ubsmnpuuc4f4r5' in /var/www/church/includes/database.mysql.inc on line 121
Ciclo di Lezioni di Paul-André Melliès (CNRS - Université Paris 7) | Gruppo di Logica e Geometria della Cognizione
Home

Ciclo di Lezioni di Paul-André Melliès (CNRS - Université Paris 7)

Docente: Paul-André Melliès (CNRS - Université Paris 7)
Inizio: 29/10/2007
Fine: 04/11/2007
Dove: Facoltà di Lettere e Filosofia - Università Roma Tre

A GENTLE INTRODUCTION TO 2-DIMENSIONAL ALGEBRA AND STRING DIAGRAMS

Organizzazione del corso: Si tratta di un corso di 8 ore (2 ore al giorno i lunedi` 29, martedi` 30 e mercoledi` 31 ottobre ed il lunedi` 5 novembre). Gli orari precisi delle lezioni verranno comunicati sulla pagina web del corso: http://logica.uniroma3.it/?q=node/178

Riassunto: In this introductory course, I will explain the basic concepts of 2-dimensional algebra, this including monoidal categories, the Yang-Baxter equations, Hopf algebras, trace operators, Kan extensions, Lawvere theories and operads, weighted limits, etc. My ambition is to demonstrate how this 2-dimensional theory enables to reformulate a good part of algebra in a purely diagrammatic language, similar to flow charts in Programming Languages and to current notations for proofs in logic. Important point: my course is interactive, and will thus freely adapt to the wishes of the audience.


Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = '645de96aqiq8ubsmnpuuc4f4r5' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/180', '', '216.73.216.11', 1759640487) in /var/www/church/includes/database.mysql.inc on line 121

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('645de96aqiq8ubsmnpuuc4f4r5', 0, 0, '216.73.216.11', '', 1759640487) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/180', '', '216.73.216.11', 1759640487) in /var/www/church/includes/database.mysql.inc on line 121