[Alta-Logic] Peripatetic seminar tomorrow (Friday)

[Florian Schwarz]

Dear all,

On Friday November 8th I (Florian Schwarz) will speak in the peripatetic 
seminar. It will take place at 1pm in ICT 616.

*Title:* Introduction to equivalences between bicategories and 2-categories

*Abstract: *This is part four of our series of introductory talks on 
bicategories. This time we will be considering different ways in which 
bicategories can be considered to be equivalent. While sets are 
considered “the same” when they are isomorphic, an equivalence of 
categories (the right way of “same-ness” for categories) can be seen as 
being isomorphic up to isomorphisms. Analogously we will see that two 
bicategories are biequivalent if they are isomorphic up to isomorphisms 
up to isomorphisms. In practice it is often easier to check 
biequivalence using the Whitehead theorem, which I will present and 
apply to examples.

Website: https://logic.ucalgary.ca

Hope to see you there!

Best regards,

Florian Schwarz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20241107/623e06d6/attachment.html>