Moana Jubert

PhD candidate at @Inria_Paris + @IRIF_Paris • Category theory and type theory • 🇫🇷/🇺🇸

[Moana Jubert @moanajub]

All concepts are leg extensions

[Moana Jubert @moanajub]

Ijboll duality

[Moana Jubert @moanajub]

Doctors Without Nontrivial Homology

[Moana Jubert @moanajub]

Are sheaves over simplicial rings pyramid schemes?

[Moana Jubert @moanajub]

Kentucky Freyd-Mitchell

[Moana Jubert @moanajub]

Short (5'10) exact sequence

[Moana Jubert @moanajub]

Gravlax monoidal salmon

[Moana Jubert @moanajub]

Brazilian Kan Lift

[Moana Jubert @moanajub]

Been writemaxxing my PhDslop lately

[Moana Jubert @moanajub]

I'm going to tattoo <|endoftext|> on my face to mess up with AI facial recognition

[Moana Jubert @moanajub]

Hot Geometric Theories In Your Locale Area

[Moana Jubert @moanajub]

Brave New Word Problem

[Moana Jubert @moanajub]

Zermelo-Fraenkel; or, The Modern Prometheus

[Axel Osmond @AxelOsmond]

Remember the Hegelian taco ? Be ready for :

[Moana Jubert @moanajub]

Do Topoi Dream of Electric Sheaves?

[Moana Jubert @moanajub]

Rocq (formerly known as Twitter)

[Moana Jubert @moanajub]

@mattecapu This is because the impossible event is a cultural object

[Moana Jubert @moanajub]

@mattecapu Category theory is when you write the word "fibration". The more you write "fibration", the categorier it is

[Moana Jubert @moanajub]

Sheafifinomenon

[Moana Jubert @moanajub]

Sheaf Executive Officer