Michael Shulman is a mathematician known for his work in the fields of algebra, category theory, and type theory. He has made contributions to the study of homotopy theory, higher categories, and the connections between mathematics and computer science, particularly in the context of programming languages and formal systems. Shulman has also been involved in research that bridges the gap between abstract mathematical theory and practical computational applications.
Articles by others on the same topic
There are currently no matching articles.