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…