and the like (as propounded by him in various of his postings here).
I want to do some 'mathy' math.
I have therefore quite carefully read through the Introduction to "Homotopy Type Theories', issued by the Institute of Advanced Studies, Princeton - (which you had recommended recently).
[The book is nearly 500 pages long, and it contains some quite hairy material, so far as I have been able to tell. Thus, it will take me quite a while to look at the whole thing and then, perhaps, do some modeling with it].
I hasten to explain:
By "read through" I mean to say that I've done something more than 'glance through' it.
But what I've done is something rather less than 'study' it.
In order to study the book (even to a small extent), I'd need to construct a sizable number of models - particularly 'Interpretive Structural Models' (ISMs) and 'Field Representations' (FRs) - using elements discussed in the text of the book.
It'll take me a while to do this, I'm afraid.
The book is pretty 'dense', so far as I have understood it thus far. (By 'dense', I mean 'solid'; 'hairy').
Also, I'm rather busy at the moment discussing the possibility with some 'angel investors' of financing for my 'One Page Management' (OPMS) project's further development.
For especial kind attention of Robert Hansen (RH): +++++ A: The above does NOT mean I shall be "soliciting funds" from people who wish to see the documentation relating to OPMS.
B: The above does NOT mean I shall be "soliciting funds" from people who wish to download and use my prototype OPMS software.
C: The above does NOT mean I shall be "soliciting funds" from people who seek (limited) guidance from me as to how to apply OPMS to specific issues of interest to them.
As always, the items mentioned at 'A', 'B', and 'C' are FREELY available to (almost) all who are interested to see, use and apply the OPMS to help them develop Action Planning to accomplish Missions of interest to them.
The items mentioned at 'A', 'B', and 'C' are NOT freely available to Robert Hansen (RH) and his cohorts and consorts. These things may not be available even if they wish to pay for them.
The above is just to make things abundantly clear.
"Still Shoveling! Not PUSHING!! Not GOADING!!!" +++++