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

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415 161718
1920 2122 232425
262728293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 23rd, 2025 04:53 pm
Powered by Dreamwidth Studios