Pece
Graduate student in mathematics (Master 2 at Université Pierre et Marie Curie) and theoretical computer science (Parisian Master of Reasearch in Computer Science at Université Paris Diderot). Currently doing a PhD in homotopical algebra in relation with foundation of computer science.
Interested in category theory, algebraic topology, algebraic geometry, model theory. Curious about cryptography, homotopy of type theory, categorical semantics of programming languages, and the daily use of Coq/Agda/whatever in mathematics...
0
answers
2
questions
~871
people reached
-
Member for 7 years, 9 months
-
15 profile views
-
Last seen Feb 5 '20 at 19:42
Communities (16)
Top network posts
- 56 Are "if" and "iff" interchangeable in definitions?
- 27 Abelianization of free group is the free abelian group
- 15 Why an integral symbol for the category of elements of a presheaf?
- 14 Memoization without array
- 11 Origins of the name "Q" and "R" for cofibrant and fibrant replacement functors.
- 11 Abstract nonsense proof
- 11 Should every group be a monoid, or should no group be a monoid?
- View more network posts →
Top tags (5)
Score
0
Posts
2
Score
0
Posts
1
Badges (11)
Gold
—
Silver
7