C*-Tapas: A Quick Introduction to Crossed-Product Functors and the Enchilada Category, 2

I'll try to explain the basics of the Enchilada category, starting from C*-correspondences and working up to functoriality of crossed-product constructions and, time permitting, natural equivalences among them.  This will be motivated by a brief, pseudo-historical discussion of Mackey's imprimitivity theorem and its reformulation by Green and Rieffel.  I aim to make the talk accessible to anyone who's seen, say, four weeks' worth of functional analysis.