/sci/ - Science & Math

>repurposed sissy hypno porn techniques to math lecture recordings

Sayonara, time to leave humanity behind.

>>15256189
His Categorical Logic and Type Theory is harder, but that book is also more of encyclopedeic nature, approaching many connections and frameworks, and also covers fields which are sort of out of fashion. The coalgebra stuff is a more particular topic, and recent interest. PS I only read both Taylors book and Jacobs tomb pretty much 10 years ago, myself being not as far as I'm now (and I'm not far anyhow, I'm a physicist) and I didn't finish the second.
I'd push back on the idea that the TTFP is for programmers, it's kinda not. It's more about logic and types. But it's also why I asked what you're really interested in.

>watch professor leonard lecture on partial fraction decomposition for integrals before taking the actual lecture in class
>Class professor immediately goes into non-factorable denominators and on a tangent about polynomial functions of degree 5.
Why do I even show up.

>>12420559
it's a masturbatory thing for people who love utilizing all the convoluted and obtuse terminology they had to memorize for their research papers.