“We seem to get a fair number of people who hit the beginning of chapter 2 and think”oh no, I don’t know what an -groupoid is" and get stuck “…”I would like the message of the book to be that you don’t need to already know what an -groupoid is; you can learn what one is by learning to work with types. But even with that goal, it seems that we have to give some intuitive picture of what this is supposed to mean, and we also have to make connections for the readers who do know what an -groupoid is. Maybe for the 2nd edition we can find some better way of reconciling these goals" Mike Shulman1
Except As Otherwise Noted, The Content Of This Page Is Licensed Under The CC-BY-SA 4.0 License And Code Samples Are Licensed Under The GPL 3.0 License. For Details, See License.