James Leslie
123
reputation
5
Ph.D student at the University of Western Ontario, studying homotopy type theories and higher category theory.