yep project study has interrupted since helped some tasks -> yayy I helped doing manti. 

yep tomorrow morning task is helping 0th floor mopping. 

and I dont think there is commutting my parents to city nor shopping task on tomorrow since today we also did shopping (vegetables/bread etc) today. 

so tomorrow i think i would be able to study to project all time. (hey do not misunderstand as if i am unhappy to help my parents/daily tasks, no i instead be very happy to have been interrupted to help daily tasks etc (also i live in same house and really happy to take/help responsibility sharing of daily tasks ) (and its actually good for me also its like mentally resting time since project study time is alot mentally challenging of course  yep.)

---------------------------------------------------------------------------------------------------------------------

yep this silly computer engineer had not exactly learnt some of boolean algebra topics yesterday and would revisit :) and would try to finish first some revisiting boolean algebra chapters.

then i would focus directly to intuitionistic maths topics. starting from heyting algebra etc. 

then would start learning coq/unimath alike. 

I today also checked other topoi books and saw i had really lot to learn to become topoi expert/category theory expert (e.g. one month studying alike) but i dont have that much time currently. 

I think i need to create some 0.1 version MVP first. to show my parents  functionaing of project also since sometimes rarely they think as if i am working for some project that might not succeed. (many times they dont say such thing but rarely sometimes they think its like empty effort and worthless ) 

so its like currently i depend on my parents. so they also know i dont apply to software jobs yet. and they sometimes rarely say (one of my parent) say its worthless the effort i spend to my project and would might not succeed. (most times my pafrent dont think like this either. some days only. ) so I think I need to build some MVP and provide some demo to my parents also.  

cause this topoi learning would last imho requires 1 month studying effort. but imho its better to design DSL with somehow initial learnt knowledge. then create 0.1 version to demo to my parents so that they dont think my effort is worthless. then later after 0.1 version,  lets invest 1 month time to become more expert in topoi. and some revisiting to group theoretic topics/representation theory.  

hmm so I decided like this. that i wont even finish this book. i would learn some more boolean algebra. and then intuitionistic maths topics and would start learning more type theory/intuitionistic maths and coq/unimath and then would resume project's DSL studies/coding NLP side etc. 

to create 0.1 version whcih can read paragraph and store knowledge as category diagrams wise DSL and do inferences/deductions and some combinatoric thinking via evaluation and partial functions concepts that which I had not studied how to yet include combinatorics via nor yet learnt topoi details for partial functions concept yet.

yep I would then  create 0.1 version demo as something which parses knowledge of a paragraph and then when asked queries to returns answers to.  both with including wikipedia db ontology db information and wikipedia database (articles). (not entire wikipedia either since it would not be possible to parse all articles to convert to DSL initially in MVP)

yep then from 0.1 version to 1.0 version (after mvp is ready) I could spare much more time to topoi study to learn somewhat more of topology and algebraic geometry to learn sheaves more and all rest of topoi topics alike.  to become more expert in category theory and group theory and representation theory overall.  to then edit DSL algorithms/structure like with new diagrams afterwards.

yepp this be the project update: after i discovered i can not finish trying to learn topoi in a week or so but require 1 month to study least 2 topoi books required to become somewhat expert in topos/category theory. (which is bound to also algebraic geometry and algebraic topology concepts thas why imho requires 1 month dedicated studying to finish the 2 topoi books. )  

I think currently learnt knowledge of topoi is enough  to build DSL  version of 0.1 version. 

but i need to learn more boolean algebra and intuitionistic maths topics and read some Lawvere papers. and learn Coq/unimath.  also. but imho thats to finish in a couple of days. yep. 

then in a couple of days, I would resume coding/DSL study.  but i dont know where i stored the jupyter notebook which has had integrated various NLP libraries and some neural net based NLP library which parses dependency and constituency information of sentences of paragraphs. and some similar NLP coding effort/DSL effort is required and also need to develop the logic layer also with DSLs.