[Alta-Logic] Peripatetic Talk (Infinity and quasi-categories)

[Robin Cockett]

Place: ICT 616

Time: 3:30pm, Wednesday 14th March

Speaker: Tristan Jugdev

Title: An Introduction to Infinity Categories (continued)

Abstract:
Roughly speaking, an infinity category is a category in which we have
2-morphisms between the regular morphisms, 3-morphisms between those, and
in general, n-morphisms between (n-1)-morphisms for arbitrarily large n.
In this talk, I will present two geometric model for discussing infinity
categories, quasi-categories and simplicially enriched categories, and
briefly outline their equivalence.  I will then walk through some basic
constructions in category theory such as functors, over/under categories
and possibly (co)limits in the infinity category setting.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20120312/50b46327/attachment.html