Graduate student at Kazan Federal University. I'm interested in Category theory, Type theory and Mathematical logic.