Stack Exchange网络由183个问答社区组成,包括堆栈溢出是开发人员学习、分享知识和建立职业生涯的最大、最受信任的在线社区。
我是圣地亚哥大学的数学副教授。我的研究方向是同伦类型理论和高级范畴理论。