04/11/2022 - Jacopo Emmenegger, "Quotients and equality, (co)algebraically"
Channel: LogicGroup
Date: 17/11/2022

Cross-Alps Logic Seminar recorded on the 4th of November 2022.