Mercurial > repo

view wisdom/category @ 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 3e84eeeca1cd
children
line wrap: on
line source

A category is an enriched category where the enriching category is the category of classes.