Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '2vhuri4lop99frsgcuo1ibfta2' in /var/www/church/includes/database.mysql.inc on line 121
Gruppo di Logica e Geometria della Cognizione
Home » » »
Year | Month | Week | Day
« prevVenerdì, Ottobre 24 2014next »
10 / 24
Key 1

String diagrams e categorie: dimostrazione della coerenza delle categorie monoidali simmetriche tramite riscrittura

Speaker:
Matteo Acclavio (Aix-Marseille Université)
Quando:
24/10/2014 - 11:30
Dove:
Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo, palazzina C, Aula 311
Abstract

Una categoria monoidale simmetrica è una categoria munita di un prodotto (binario) associativo e commutativo e di un oggetto che rappresenta l'unità per questo prodotto. Queste proprietà sono soddisfatte modulo isomorfismi naturali che verificano delle condizioni di coerenza. Il teorema di coerenza afferma la commutatività di tutti i diagrammi (lineari) costituiti da questi isomorfismi.
Dopo un'introduzione agli string diagrams e alla riscrittura, dimostreremo il teorema di coerenza provando la convergenza del sistema di riscrittura di Y. Lafont e usando questo per costruire una base dell'omotopia tramite la quale verificare la commutatività di ogni diagramma in una categoria monoidale simmetrica.
Key 1

Seminario sui fondamenti

Speaker:
Vito Michele Abrusci
Quando:
24/10/2014 - 09:00
Dove:
Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo 1, palazzina C , aula 311
Abstract

Saranno sviluppati e approfonditi alcuni temi trattati da Jean-Yves Girard nel suo seminario al Colloquium di Matematica, 8 ottobre 2014

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 = '2vhuri4lop99frsgcuo1ibfta2' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2014/10/24', '', '216.73.216.58', 1751659227) 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 ('2vhuri4lop99frsgcuo1ibfta2', 0, 0, '216.73.216.58', 'calendar_year|i:2014;calendar_mon|i:10;', 1751659227) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2014/10/24', '', '216.73.216.58', 1751659227) in /var/www/church/includes/database.mysql.inc on line 121