Technology Category Theory for All (NASSLLI 2012)

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

Technology Who's afraid of Categorical models?

1.Who’s Afraid of Categorical Models? Valeria de Paiva Logic in Rio 2012 August 2012 Valeria de Paiva Who’s Afraid of Categorical Models?2. Categorical Models? When studying…