I found this amazing document explaining the relationship between Lambda-calc and Carthesian Closed Categories:
https://pauillac.inria.fr/~huet/PUBLIC/cat.pdf
Also, fun fact, Kleene star, as in the * operator in Regex, induces homomorphism with monoids, and `map` function. Pic related.
Felafel ben Samusa, the Jewish Scholar at the Court of Harun al-Rasheed
10/12/2025, 11:09:32 AM
No.106863367