chez joli barde
Antonie Beaudet (aka jollybard)
thejollybard@gmail.com
my pages
soundcloud: soundcloud.com/jollybard
bandcamp: jollybard.bandcamp.com
blog: jollybard.wordpress.com
github: github.com/jollybard
toys
some papers
Pas assez générales pour vous, les catégories? (french), december 2019.
an introduction to enriched category theory, up to enriched yoneda lemma
Topologie et logique (french), october 2019.
presentation notes on locale theory
Loc := Frm^op (english) early 2019.
an introduction to category theory and locale theory, with an eye towards topos theory
support me!
patreon: https://www.patreon.com/jollybard
BTC: 3HZ9XkpXNT3w7xzp24XrWX5WLLWimDHyqA