Mercurial > repo

view wisdom/lens @ 1257:20ef644d2a6c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<GreyKnight> echo "A morphism is just an abstraction derived from structure-preserving mappings between two categories." > wisdom/morphism
author HackBot
date Fri, 04 Jan 2013 22:13:56 +0000
parents e037173e0012
children 9908e830aa86
line wrap: on
line source

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