Fonaments i lògica

Projecte logcat: una col·lecció de llibres sobre els fonaments de la matemàtica i la lògica categòrica. Comprèn una introducció a la teoria de categories, una presentació estructural de la teoria de conjunts i una introducció a la lògica categòrica.

Els llibres es publiquen a mesura que es revisen. De cada llibre en podeu consultar el PDF per a pantalla, amb tests interactius, el PDF per imprimir i les fonts LaTeX. Les errates i els suggeriments són benvinguts a GitHub.

Nota sobre els tests interactius. Els tests interactius inclosos en alguns documents PDF funcionen millor amb Adobe Acrobat Reader. Alguns visualitzadors de PDF integrats als navegadors poden no executar correctament les funcions interactives. Per aquest motiu, es recomana descarregar el PDF i obrir-lo amb Acrobat Reader. Si el visor no permet la correcció automàtica, les respostes i les justificacions de tots els tests són a l'apèndix final del llibre.

Materials publicats

Una introducció a la teoria de categories

Formació prèvia per aprendre lògica categòrica

Llibre complet · versió 1.7

Els deu capítols del llibre (categories, functors, transformacions naturals, Yoneda, límits, adjuncions, categories cartesianes tancades, subobjectes, topos i un epíleg cap a la lògica categòrica) en les quatre parts: teoria, pràctica d'exercicis resolts, exercicis proposats i tests interactius, amb la guia de lectura, els apèndixs (inclòs un de quasiexemples i contraexemples), el glossari, la bibliografia i la taula de notació. L'edició per imprimir té el fons blanc i els tests en paper.

PDF PDF per imprimir LaTeX

Lògica categòrica

Introducció a la lògica categòrica: la lògica vista a través de les categories.

En preparació. Els capítols es publicaran a mesura que es revisin.

Teoria de conjunts

Teoria de conjunts des d'una perspectiva estructural, sense recórrer a la teoria de categories.

En preparació. Els capítols es publicaran a mesura que es revisin.

Llibres del projecte

Lògica categòrica

Introducció a la lògica des del punt de vista categòric.

Teoria de conjunts

Presentació estructural de la teoria de conjunts, independent de la teoria de categories.

Filosofia de la matemàtica

Una nova visió de la filosofia de la matemàtica. En elaboració.