Introducció
Prefaci i introducció
Prefaci i introducció del llibre: motivació, objectius i visió general de la teoria de categories.
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.
Cada llibre es publica per capítols (fascicles) a mesura que es revisen. De cada fascicle en podeu consultar el PDF o les fonts LaTeX.
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.
Materials publicats
Teoria de categories
Introducció a la teoria de categories: categories, morfismes, functors i les construccions fonamentals.
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.
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.
Llibres del projecte
Teoria de categories
Introducció a les categories, els morfismes, els functors i les construccions bàsiques.
Teoria de conjunts
Presentació estructural de la teoria de conjunts, independent de la teoria de categories.
Lògica categòrica
Introducció a la lògica des del punt de vista categòric.
Filosofia de la matemàtica
Una nova visió de la filosofia de la matemàtica. En projecte, per a més endavant.