My M1 internship report in pdf.
Beginning of my M1 internship at Oxford University: it’ll have to do with Glynn Winskel’s event structures
My L3 internship report in pdf.
[Nottingham Internship] Brunerie Type Theory, or how to concisely sum up the mess about $𝜔$-groupoids
Let’s have a look at Brunerie Type Theory now!
Categories with Families
$𝜔$-groupoids might be easier to grasp from a categorical point of view with $∞$-categories
Handmade partial construction of a weak $𝜔$-groupoid.
We’re beginning to talk about the crux of the matter: here are weak $𝜔$-groupoids!
How are we supposed to construct recursors and inductive constructors, generally speaking? And where do they even come from?
I’ve begun my internship at the University of Nottingham, under the supervision of Prof. Thorsten Altenkirch, Nicolai Kraus, and Paolo Capriotti.
Petit tutoriel à l’intention de mes amis pour créer leur site web.