A Convenient Category for Higher-Order Probability Theory · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1701.02547/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTA Convenient Category for Higher-Order Probability Theory — mentioned by jesuslophttps://news.ycombinator.com/item?id=18314869urn:hackerpapers:mention:1701.02547:18314869Sat, 27 Oct 2018 08:32:03 GMT<p>Chris Heunen and cols. have thought about a workaround to make probabilistic categories cartesian closed, and then Lambek translation from CCC to simply typed lambda calculus should apply, so Elliot machinery should also enable to express probablistic problems in Haskell terms. [1] https://arxiv.org/abs/1701.02547</p><p><a href="https://hackerpaper.kaipfister.de/p/1701.02547/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL