You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Eric M Downes (Aug 04 2024 at 14:38):Please note: This talk will NOT be recorded!
At Sori Lee will be giving a talk!
Title:
Strict bilimits, with an overview of limit notions in 2-categories
Abstract:
In the context of 2-categories and 2-functors, the notion of (weighted) limits diversifies into strict/pseudo/lax/oplax (2-)limits/bilimits. These notions are not disjoint; in fact, they constitute a hierarchy, with some subsuming others. Curiously, the literature appears completely silent on strict bilimits, despite the fact that they are the most general one among those notions. Instead, authors discuss strict limits and (pseudo)bilimits, which are the two apex notions when strict bilimits are not considered. This leads to the question of whether strict bilimits are a superfluous notion. I'll describe an elementary construction that produces examples of a 2-category that has strict biequalisers but not strict equalisers. Since bilimits don't admit strict biequalisers, this confirms that strict bilimits are not subsumed by bilimits and strict limits.
The talk will in large part be an introduction to limit notions in 2-categories, with an emphasis on the organisational aspects, and will assume no prior knowledge. The underlying materials are available here
See you then!
Jean-Baptiste Vienney (Aug 07 2024 at 13:29):Starting in 30 minutes
Jean-Baptiste Vienney (Aug 07 2024 at 13:59):The Zoom link is here :wink:
https://us06web.zoom.us/j/82162005589?pwd=GHW8upy3LyerjxQvoGMYV91nVTqFHb.1#success