Noah Ma

Hello @chansey97 I agree that the `-

Hi @countvajhula , I’ve tried `lets-write-a-qi-compiler` and all the `qi-cat` tests passed. I didn’t notice any issues. Also, I read @chansey97’s code and I found an interesting way. It seems...

In addition, I think the theoretical basis of qi (free-point) should be the Cartesian Closed Category (CCC). > Of all the advantages of cartesian closed categories, the most important is...

From a category point of view, `(~> f g)` is `g∘f`, `(-< f g)` is ``, so I guess `>-` should probably be seen as the dual of `-- f...

> I'm not familiar with this notation though (or category theory, especially) -- what do you mean by f×g here, and what would you expect (==* f g) to produce...

If qi supports dual of `values` (named `covalues`), perhaps there is no need to use conditionals in flow. For example: ```racket (define string->symbol/list (λ (str sym?) ; str × (t...

Here's an interesting truth table example from section 5.7.7 of _Category Theory for Computing Science_: ```racket ;; Truth Table #| |-------+----| | #t #t | #t | | #t #f...

> As a category theory novice, much of this is a bit over my head, so being categorically consistent isn't as important to me as "making sense" for some intuitive...

I have implemented sum-related operators (see https://github.com/NoahStoryM/qi-cat) successfully! I will try to write a tutorial and look for more application scenarios in the next few days. And my experience shows...

Hello everyone! In the past period of time, I have tried to learn and understand category theory more comprehensively. While thinking about the connection between category theory and qi, I...