Mercurial > repo

view wisdom/morphism @ 7449:1c3c4b1a93e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<b_jonas> learn Church invented a sane model of computation, but Turing was better with marketing, so now people define theoretical computer science using obsolate hardware like tape recorders.
author HackBot
date Sun, 17 Apr 2016 22:22:41 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

A morphism is just a natural transformation between two functors on 1.