Compositionality group functorial semantics meetings - Spring 2020

• 27 May 2020, Greta Coraglia, Gödel completeness for fibrations
• 13 May 2020, Davide Castelnovo, Hyperdoctrines, part 2
• 6 May 2020, Davide Castelnovo, Hyperdoctrines, part 1
• 30 March 2020, Jens Seeber, Frobenius theories (unfortunately without white board recorded)