THESE FORUMS NOW CLOSED (read only)

Fun Stuff => ENJOY => Topic started by: PthariensFlame on 01 Nov 2013, 15:23

Title: Homotopy Type Theory
Post by: PthariensFlame on 01 Nov 2013, 15:23

So, seeing as this subforum is pretty much entirely composed of (threads about) works of fiction, I'm not sure how well this will fit in, but I think it will at least fit in relatively better than it would in any of the other subfora:


I'm currently reading, and heavily enjoying, Homotopy Type Theory: Univalent Foundations of Mathematics (http://homotopytypetheory.org/book/).  I'm coming at it from a computational/type theory angle, but it's meant for anyone with an interest in foundational and/or abstract math, and generally explains anything that some readers might not know.  You can get it as a free PDF or eBook from the linked page, or buy a physical copy if you want.  Just reading some of the Introduction will probably tell you whether the rest of it will interest you or not.

Title: Re: Homotopy Type Theory
Post by: Barmymoo on 10 Nov 2013, 13:21

This sounds like something that is completely not what I would want to read, but you might find some takers in the Math thread in Chatter!