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.
Tim Hosgood (Mar 17 2021 at 19:20):Wednesday, 21:00 UTC
Tim Hosgood (Mar 17 2021 at 19:20):Abstract:
This will be a tutorial talk about explaining how logical reasoning principles associated with (co)algebras of a polynomial functor, as data types, can be obtained, via lifting of the functor to a logical level. This lifting happens in the context of fibrations, as categorical logical models. The lifting exploits the polynomial structure.
Original source: C. Hermida and B. Jacobs, Structural induction and coinduction in a fibrational setting, Information and Computation 145 (1998), p.107-152.