May 26, 2026
Internal Models of Homotopy Type Theory
Homotopy Type Theory is a formal system that conjecturally can be used as a foundation for Mathematics. It has at least two advantages over other existing foundations of Mathematics. It has a flexible language in which the notion of space is as primitive as the notion of set, thus making it easier to work with […]
Read More
Mitacs is funded by the Government of Canada, the Government of Alberta, the Government of British Columbia, Research Manitoba, the Government of New Brunswick, the Government of Newfoundland and Labrador, the Government of Nova Scotia, the Government of Ontario, Innovation PEI, the Government of Quebec, the Government of Saskatchewan, and the Government of Yukon.