WolframAlpha’s got your exercise for the reader covered. It says the 95% confidence interval on your number of total work hours is 44 to 69.

Do I have this right that for the standard error I can just give it a 1-1/e confidence interval? (Which is 50 to 61 hours.)

]]>Do you have any particular bits you want comments on? It seems like a very early draft so far, but I think I followed up to Chapter 3. Here are my comments on the 16th August version.

– The definitions of ends and coends are missing the universal property.

– The intro to chapter 2 is a bit woolly, talking about weaving an insightful story. Could you be precise about the technical contribution? For example could you say you’re showing in HoTT that B is isomorphic to P, and this is useful because it allows you to state a particular theorem later in a nice way?

– In Chapter 3 you use the big circle ◯ in the sections on Pointing and Functor Compositions, but I didn’t understand the informal definition ‘the variant of E where we “do not care about” labels’, and the TODO says you’re planning to use a forward reference. I think you should make the order more logical here, or at least try to make the informal definition really clear.

]]>