Fibring and Sheaves. - Peter Arndt 001; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano; Hugo Luiz Mariano (IICAI, 2005)

A Global Glance on Categories in Logic. - Peter Arndt 001; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano; Hugo Luiz Mariano (Logica Universalis, 2007)