yep I had passed the intuitionistic maths chapters kind of skipping wise with reading some basic definitions/logics but not sparing alot time to interpret very much. Since, as mentioned, I am going to initially prepare some 0.1 version with some very basical topoi/category theoretical structs. 

whilst were reading Coq tutorial, been interrupted by my parent for a second. then I thought lets do some blogging now also.

one nice topic -> yayyy the time i came the razer notebook's were not opening. Somehow it seemed to have resolved.  (It when coming from istanbul has had been placed in not so good placement (since there were lots of luggage and I suspected if laptop has got somehow damaged or so. ) I retested this notebook now (since i needed to study Coq/unimath tutorial here that i started studying before on this laptop) and yayyy its working!  (gosh there is still 2000 euros I pay monthly of this laptop of installments. (It were like 3400 euros or so ) so its great news to figure out laptop is not broken! (during commutting from istanbul to iskenderun, we(my family) had too many luggages ) 

yayyy so my coding laptop is working! yayyy! cool! I thought its broken. 

hmm so I had web addr of coq tutorial in this laptop and asap started learning Coq. 

but again, as mentioned, in 0.1 version of project, the diagrams would be very simple and not eloquent maths. 

yeppp I already started thinking of TreebankPOS tags conversion to category theoretical diagrams (very simplistic/ since i had not yet got expert of category theory/topoi topics). 

in 1.0 version of course they could be translated to more eloquent abstractions/algebras.  but thats very possible to translate automatedly. so not an issue. 

so I think i would try to finish Coq tutorial in some what 2 hours or so. (learn whats its about) then would resume NLP ParseTree POS tags conversion to category theory topics. (since i intend to prepare v0.1 demo in 10 days to demo to my parents then I would do one more batch of studying to topoi by then, to then alter/advance abstraction definitions. then i would do some more group theory/representation theory studying to then define some native group theoretic skills to it also. then it would try to learn theoretic physics (QFT) itself. or that might also be still development of modules to enable it be capable of learning QFT concepts. Maybe with some help either.  hmm so first learning task to Ml Algos would be QFT learning (to then its would try to learn coding also to then write simulations to search an easily maintainable quantum computer design. maybe molecular wise macro quantum state capable. (not atomic nor particle level but molecular level quantum computer maybe even more macro than that even ) )