Dec. 29th, 2018

juan_gandhi: (Default)
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 - меня попрекают отсутствием веры в математику! Вера в математику, Карл! Тут что-то такое кроется, о чем я не догадывался. Хоть я и работаю иезуитом.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14 151617 181920
212223 24252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 26th, 2025 01:59 am
Powered by Dreamwidth Studios