yep so much eager to resume topoi reading! and resume category theoretic NLP translation tasks of ml algos! (since the ai should understand humans language structure (but funnily with 400 years ago linguistic method of mathematical linguistics notion :D ) had you seen an ml project that tries to convert context of linguistics to maths? :) e.g. 1.5 year ago, I started with testing group theoretic methods to discover they are not well suited/not abstract enough (unlike category theory which is that much abstract and could also represent group theory things) so I guess there is no other project in ml side that translates linguistics frame /context to maths based abstractions right? but is maths also a changeable logic system when we look from lens of intuitionistic maths? ( e.g. Kripke's knowledge diagrams) so is not maths a language/representation method by it self. (just even not that abstract enough, maths has even repr...