view wisdom/lambek's lemma @ 11142:87621782c59a

<oerjan> slwd decadent//s,.,A,;s,$,.,
author HackBot
date Tue, 01 Aug 2017 04:32:52 +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.