I think the current fundamental structures are influenced by the Bourbaki group, however it has gaps. Category Theory is likely able to fill those gaps and I gu

I think the current fundamental structures are influenced by the Bourbaki group, however it has gaps. Category Theory is likely able to fill those gaps and I guess it will end up as the foundational layer of both mathematics, computer science, and pretty much everything else. David Aubin wrote about this in https://press.princeton.edu/books/hardcover/9780691118802/the-princeton-companion-to-mathematics https://press.princeton.edu/books/hardcover/9780691118802/th... (VI.96) Some discussions too here https://math.stackexchange.com/questions/25761/introduction-to-bourbaki-structures-and-their-relation-to-category-theory#:~:text=Bourbaki's%20structures%20are%20anything%20which,of%20objects%20and%20their%20morphisms.&text=On%20the%20other%20hand%2C%20if,and%20structure%2C%20try%20model%20theory https://math.stackexchange.com/questions/25761/introduction-....