Mikołaj Bojańczyk - Monads in the Theory of Formal Languages

Mikołaj Bojańczyk (University of Warsaw) - Monads in the Theory of Formal Languages What is the role of category theory (in brief CT) in physics, mathematics and philosophy? Is CT just a useful language of some parts of mathematics and theoretical physics or are categories new structures that are important for these fields? How can categories be used in modern physics? What is the role of CT in the philosophy of mathematics? Is CT a new foundation of mathematics or is it a kind of organization of mathematics? Is the arrow-ontology of CT a new kind of ontology? The conference was addressed the questions mentioned above and issues that concern possible ways of applying CT in physics, mathematics and philosophy. More info: http://www.icfo.ans.pw.edu.pl/en/.