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