/sci/ - Science & Math

>>	Anonymous Wed Dec 28 07:28:16 2016 No.8567177 [View] File: 724 KB, 1402x1815, hott.png [View same] [iqdb] [saucenao] [google] Friendly reminder that identity is equivalent to equivalence.

>>	Anonymous Mon Sep 5 12:03:16 2016 No.8324334 [View] File: 724 KB, 1402x1815, hott.png [View same] [iqdb] [saucenao] [google]

>>	Anonymous Wed Jun 8 17:22:06 2016 No.8131745 [View] File: 724 KB, 1402x1815, hott.png [View same] [iqdb] [saucenao] [google]

>>	Anonymous Sun Jun 5 05:34:51 2016 No.8123509 [View] File: 724 KB, 1402x1815, hott.png [View same] [iqdb] [saucenao] [google]

Anonymous Wed May 20 10:49:24 2015 No.7273906 [View]
File: 724 KB, 1402x1815, hott.png [View same] [iqdb] [saucenao] [google]

I suggest you start with the basics. Grab a gentle introduction to category theory (Awodey is nice), then something on homotopy (I think there was something by Bourbaki or the guys around it). Once you have a firm grasp of those, you can try to get into type theory (some paperps by Martin-Löf) and finally combine all your knowledge in the paramount HoTT. Once you're done with that, you can attempt to begin understanding the underpinnings of mathematical logic. But not any sooner.

>>	Anonymous Mon Feb 2 07:51:57 2015 No.7044803 [View] File: 724 KB, 1402x1815, hott.png [View same] [iqdb] [saucenao] [google] Have you read your HoTT today? The initial chapters are very nice even without knowledge of TT (or even CaT), you should check them out.

>>	Anonymous Mon Feb 2 07:49:49 2015 No.7044801 [View] File: 724 KB, 1402x1815, hott.png [View same] [iqdb] [saucenao] [google] Have your your HoTT today? The initial chapters are very nice even without knowledge of TT (or even CaT), you should check them out.

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]

Navigation
View posts	[+24]	[+48]	[+96]

/sci/ - Science & Math

Search: