Interests
topology, category theory, type theory, foundations of mathematics
Filip Oskar Łanecki
academic degree/title Master of Science (MSc) statusPhD student of mathematics
topology, category theory, type theory, foundations of mathematics