ItaCa Fest 2023
category theory
| Audience: | Researchers in the topic |
| Seminar series times: | No fixed schedule |
| Organizer: | Progetto ItaCa* |
| *contact for this listing |
ItaCa Fest is an online webinar aimed to gather the community of ItaCa. Everyone is welcome!
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Thu | Sep 28 | 13:00 | S. Awodey | Algebraic Type Theory | |
| Thu | Sep 28 | 13:40 | M. Escardo | TBA | |
| Thu | Sep 28 | 14:20 | J. Wrigley | Topological groupoids for classifying toposes | |
| Wed | Oct 25 | 13:00 | N. Gambino | TBA | |
| Wed | Oct 25 | 13:40 | G. Lobbia | TBA | |
| Wed | Oct 25 | 14:20 | S. R. Koudenburg | TBA | |
| Thu | Nov 23 | 14:00 | M. Volpe | TBA | |
| Thu | Nov 23 | 14:40 | S. Henry | TBA | |
| Thu | Nov 23 | 15:20 | TBA | TBA | |
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Fri | Jun 16 | 14:20 | A. Cappelletti | Protoadditive Functors and Pretorsion Theories in Multipointed Context | |
| Fri | Jun 16 | 13:40 | Julia Ramos Gonzales | Bicategorical presentations of étendues | |
| Fri | Jun 16 | 13:00 | E. Vitale | The completion under strong homotopy cokernels | |
| Wed | May 24 | 14:20 | P. Freni | What should Strong Vector Spaces be? | |
| Wed | May 24 | 13:40 | M. Menni | Decidable objects and molecular toposes | |
| Wed | May 24 | 13:00 | F. Guffanti | A doctrinal view of logic | |
| Thu | Apr 27 | 14:20 | D. Trotta | Gödel doctrines and Dialectica logical principles | |
| Thu | Apr 27 | 13:40 | E. Di Lavore | Evidential decision theory via partial Markov categories | |
| Thu | Apr 27 | 13:00 | T. Fritz | What is probability theory? | |
Export series to