Badiou, A. Ontology and Mathematics: Set Theory, Category Theory, and the Theory of Infinites in Being and Event, Logics of Worlds and The Immanence of Truths. FV 2020, 41.