[Alta-Logic] Reminder: Seminar Today

[gscruttw at ucalgary.ca]

In ICT 616, 12-1 pm:

Last time, I talked about how "enriched categories" generalize one
definition of category: the hom-set definition.  This time, we'll talk
about how to generalize the "set of arrows" definition, giving internal
categories.  As before, we'll look at a number of interesting examples, in
this case mostly related to topological applications.

As previously mentioned, the notes for last week's talk are at
http://pages.cpsc.ucalgary.ca/~gscruttw/
and will be continued after this week's talk.

- Geoff