view wisdom/lambek's lemma @ 12320:9c7eb9899d95 draft

<fizzie> le/rn karma//All living beings have actions (karma) as their own, their inheritance, their congenital cause, their kinsman, their refuge. It is karma that differentiates beings into low and high states.
author HackEso <hackeso@esolangs.org>
date Fri, 06 Mar 2020 23:08:37 +0000
parents d3a12978331a
children
line wrap: on
line source

Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses. It can be proved with as few as five arrows.