view wisdom/lens @ 100:eafdf0413574

<elliott> pastequotes
author HackBot
date Sun, 18 Mar 2012 21:32:39 +0000
parents e037173e0012
children 9908e830aa86
line wrap: on
line source

A lens is a monoidal natural transformation between higher-order coalgebra functors