Just take a look at their bullshit: https://mathoverflow.net/questions/171809/building-a-product-of-two-categories
OTOH, Andreas Blass was rather good at bashing CT, like.
Update. https://mathoverflow.net/questions/319622/sets-are-a-popular-construction-in-programming-languages-is-there-a-solid-theor?noredirect=1#comment796756_319622 - меня попрекают отсутствием веры в математику! Вера в математику, Карл! Тут что-то такое кроется, о чем я не догадывался. Хоть я и работаю иезуитом.
OTOH, Andreas Blass was rather good at bashing CT, like.
Update. https://mathoverflow.net/questions/319622/sets-are-a-popular-construction-in-programming-languages-is-there-a-solid-theor?noredirect=1#comment796756_319622 - меня попрекают отсутствием веры в математику! Вера в математику, Карл! Тут что-то такое кроется, о чем я не догадывался. Хоть я и работаю иезуитом.