C'est très stylé jusqu'à un certain niveau, parceque ça a des applications concrètes dans le réel et dans ta vie quotidienne, mais après t'en a plus rien a foutre
t’es entrain de dire que les omega-catégories enrichies dans des inf-topos avec des structures de Grothendieck fibratoires transfinies n’ont pas d’usage!?!?!?
