Miscellaneous

Seminars

Student workshop on logic

on October 2015, 29th: a semantic proof of the compactness theorem. Notes in french.

PhD student seminar

on October 2015, 7th: the use of monads with arities in order to formalize allocation and deallocation of memory in a quantum program. Slides in english.

Other documents (mainly about math)

Stacks in groupoids as homotopy limits

Preparatory notes (in english) for a talk given in the course "Moduli problems, stacks and simplicial presheaves" by Gabriele Vezzosi. Based on the work of Sharon Hollander, I detail how the condition on a category fibered in groupoids to be a stack can be reformulated as a descent condition.

Group theory without groups

Gentle introduction to group theory from a univalent point of view. These are the support for the colloqium given at the end of the HoTTEST Summer School 2022. The goal of these notes is to entice the reader to go beyong with Symmetry.