当代英美哲学与当代数学

当代英美哲学家中的主流哲学家,是否关注数理逻辑、类型论和范畴论等领域的研究成果?
主流指心灵哲学,形而上学,认识论等。
非英美传统的哲学,我倒是知道一个相关例子,始于Lawvere关于黑格尔的工作:Science of Logic