BioResearches category theory, history of foundations, and philosophy of mathematics.philosophy of mathematicslogic