[FOM] Books on Category Theory

[José Félix Costa]

Dear Oliver,

My colleague Pedro Resende recommends the two following books:

Lambek and Scott, Introduction to Higher Order Categorical Logic

Moerdijk and Mac Lane, Sheaves in Geometry and Logic

J. Felix

+++++++++++++++++++++++++++++++++++++++++++++++
J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm
+++++++++++++++++++++++++++++++++++++++++++++++