yep since have been reading world war topics till dawn in morning, I had got up at near to noon time today. then later some guests called mom to say they would come. then in home there were not alot coffee  then mom sent me to do go buy some coffee etc to guests. then I went then came home. then stayed with guests at home some time. then washed my hair. then had helped some house task. then now I am able to start resuming the 8th chapter :) yayyy :) one most intriguing chapter since includes mt topics which were one cause of my msc maths learning journey :) 

yayy now intriguing time of reading chapter 8 came! quite curious to abstract wise tackling of mt/integrator topics.  I think there is integral even there since i saw integral symbol as functior there in checking chapters last day.  yep mt is one reason I started learning msc maths (in trying to understand some paradoxes that I saw before in real and complex analysis). so this chapter is very important if covers mt topics. 

very important -> here we are at chapter 8  => the chapters now becoming more abstract . alike infinity quantification methods/ alike mt topics we would see in this chapter sinc e there is I saw integrator operator there as functor.  

so remainign chapters-

chapter 8 -> more on power sets ( -> right now to study ) 

chapter 9 -> introduction to variable sets  ( -> not knowing scope of this chapter yet) 

chapter 10 -> models of additional variation  ( -> here very important poset /monoid methods  that are having representation theory approaches i think exists) 

hmm key takeaways from recent previous chapters-> never had any idea that infinity quantification methods depended on such fundamentals.  and really liked modulo method there for analyzing mappings in some form of representative mapping of that is one much better method than any representation theory methods I seen in studying representation thry 6 months ago. 

so now one most important 3 chapters. i think would finish in 2 hours or 3 hours wishfully. then would be able to revisit topoi book studying.  and would recheck some representation theory methodologies.

all awhile I think methods of modulo in this  previous chapters for representing mappings is quite elegant.  this knowledge in this book I had not yet seen in other books i studied to. quite liked studying to and learnign such elegant approaches for representation of mappings. 

not just mappings. this representation /abstraction used in this book also can cover lambda calculus and any other such concept. 

I mean I found the approaches I saw in this book very elegant and somewhat alike more abstract versions of Schur's lemma type approachs in there that modulo methods. so I am amazed. by the elegant approaches I had learnt/seen from this book. or the abstraction skills it provides of how to analyze mappings or similarity of or representation of until to this chapters.  not just mappings either. its not a category theory book for functors very much. its rather more detailed which applies exponentiation and contravariant analysis of such integrative approach for the scala of available stuff that could be defined in such most abstract definitions like these. and their set theoretic (initially until now noncohesive/nonvariable sets) wise topos /category theoretic definitions. 

I would think and state, this book is one most elegant book of very elegant approaches to abstraction and it never gets lazy of doing analyzing different integrative patterns of these abstract representations alike exponentiation of functors or so. 

its just very elegant book imho. 

although I had adhd (due to my pause to reading msc/phd topics for days) I think its really one very cool abstraction book. 

hmm people starting to learn abstract maths -> 

I might suggest such books/curricula -> 

first -> 

= Abstract Algebra: Theory and Applications, Judson. (AATA Front Matter)

= then -> Representation Theory of Finite Groups (Steinberg)

- then -> First chapter of  -> A Course In The Theory Of Groups (Robinson, Springer)

- then -> Basic Category Theory (Tom Leinster) (one very very very good introduction to category theory, but if yoneda lemma chapter and such chapters becomes hard  to follow, skip and read it later after studying Lawvere book )

- Then i think here its time to read this awesome book of -> Sets for Mathematics, Lawvere 

- Then -> One very good topoi book -> Topoi: The categorial analysis for Logic (this is not category theory specific but is applied case, good book/coverage to get introduced to topoi fast) 

 I think even if I suggest such curricula with quite alot nonvery abstract start point of abstract algebra (which is groups related which is not as abstract as category theory abstraction but still some abstraction level again but less abstract ) imho its required to know such topics in advance to then learn category theory afterwards imho.  

Yep its the abstract math methodologies are quite elegant and much more of what default calculus conceptializations could had define. actually calculus is just the output of these previous abstraction studies in terms of set theoretic etc an applied case of abstraction but not abstract.