Ultimo aggiornamento: 2007-09-02

<h1>Teoria delle Categorie
<br>AILA -
<a href="http://homes.dsi.unimi.it/~sel/scuola2007/">Scuola di Logica 2007</a>
</h1>

<ul>

<li>Docente:
<a href="http://www.disi.unige.it/person/MoggiE/">Eugenio Moggi</a>
(Univ. di Genova)

<li>Testo di Riferimento:
<a href="http://www.cs.unibo.it/~asperti/PAPERS/book.pdf">Categories, Types and Structures</a>
(An Introduction to Category Theory for the Working Computer Scientist),
A.Asperti and G.Longo, MIT Press, 1991
(out-of-print ma scaricabile in formato pdf).

<li>
<a href="Moggi-2007-09-02.pdf">LUCIDI</a>
(aprire con acroread - versione aggiornata del 2007-09-02)
</ul>

Il corso usera' principalmente il materiale dei seguenti capitoli:
<ul>
<li>Capitolo 1
<li>Capitolo 2, eccetto 2.4 e 2.6
<li>Capitolo 3, eccetto 3.4.2
<li>Capitolo 5, eccetto 5.5
<li>Capitolo 6
</ul>

Tale materiale sara' integrato per fornire ulteriori esempi dei
concetti categoriali introdotti, in particolare useremo spunti
presenti nei Capitoli 8 e 9 per evidenziale le connessioni con
<ul>
<li>la Logica, la Proof Theory ed il Lambda-Calcolo Tipato;
<li>la Calcolabilita e la Logica Combinatoria (il Lambda-Calcolo senza Tipi).
</ul>

<h2>Altri Riferimenti</h2>

<ul>

<li><a href="http://en.wikipedia.org/wiki/Category_theory">Category
Theory</a> su Wikipedia, contiene vari puntatori a materiale on-line

<li>
<a href="http://www.case.edu/artsci/math/wells/pub/ttt.html">Toposes, Triples and Theories</a>,
M.Barr and C.Wells, Springer-Verlag, 1983
(out-of-print ma scaricabile in formato pdf con errata corrige).
Buon testo di riferimento per chi ha gia' acquisito una certa
padronanza con la Teoria delle Categorie.

<li>
<a href="http://www-cs.ucsd.edu/users/goguen/pps/manif.ps">A Categorical Manifesto</a>,
J.Goguen, MSCS vol.1 num.1, 1991.
This paper tries to explain why and how category theory is useful in
computing science, by giving guidelines for applying seven basic
categorical concepts.

<li>
Handbook of Categorical Algebra,
F.Borceux, Cambridge University Press, 1994.
Corrisponde ai volumi 50-52 di <i>Encyclopedia of Mathematics and its
Applications</i>, e' il "reference manual" di Teoria delle Categorie.

<li>
<a href="http://www.tac.mta.ca/tac/">Theory and Applications of Categories</a>
electronic journal.

<li>
<a href="http://www.mta.ca/~cat-dist/categories.html">categories@mta.ca</a>
mailing-list, utile per consultare gli archivi su questioni specifiche

</ul>