1.Category Theory for All: a logicians perspectiveValeria de PaivaNASSLLI2012June, 2012Valeria de Paiva (NASSLLI2012)June, 2012 1 / 1132. OutlineOutline1 Interested in Category…