[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 244 KB, 600x775, hott-cover-600x775.png [View same] [iqdb] [saucenao] [google]
12712695 No.12712695 [Reply] [Original]

How many of you have read this?
I'm at page 72 rn and it kicks ass.
The thought that you can do homotopy theory synthetically and also use it as a basis for whole mathematics is very exciting.
What do you think about it?

>> No.12712706

What are the prerequisites to dive into that book? Do I need to know some Algebraic Topology? I'm interested in research in Programming Language Theory.

>> No.12712721

>>12712695
I think I know who made this post......

>> No.12712733

>>12712721
Oh yeah? Who am I?
>>12712706
Strictly there are no prerequisites
>https://golem.ph.utexas.edu/category/2013/06/the_hott_book.html
>I would like to say that the book should be readable by any mathematician. In practice, some prior exposure to category theory and homotopy theory is probably helpful, although we did try in particular to make it readable by computer scientists who we wouldn’t expect to have any knowledge of homotopy theory. Let us know if there are things you find confusing and help us make it more accessible!
But knowing some homotopy theory helps motivate the stuff.

>> No.12712736
File: 13 KB, 111x106, pic related.png [View same] [iqdb] [saucenao] [google]
12712736

>>12712733

>> No.12712740

>>12712736
Haha I wish. You probably don't know me, I'm really obscure.

>> No.12712745

>>12712740
You must be in the discord though, there's a few people in here who talk about HoTT frequently

>> No.12712764

>>12712745
What's the discord? I might join.

>> No.12712769

>>12712764
Oh I was wondering if you were already in the lie algebra reading group discord

>> No.12712865
File: 34 KB, 210x230, 1583604884714.jpg [View same] [iqdb] [saucenao] [google]
12712865

>homo top

>> No.12712892
File: 417 KB, 800x600, math is for gaylords.png [View same] [iqdb] [saucenao] [google]
12712892

>>12712865
And they have the gall of saying math is not gay.

>> No.12712932

>>12712892
Classic Miki-chan, haha

>> No.12712940

>>12712865
You like homo topics?

>> No.12714130

>bump

>> No.12715738

>>12712733
Yeah, I read it just now, it's quite readable, so far. Though I've skipped the introduction. I'm a CSlet so I was wondering how can this be implemented?