view wisdom/morphism @ 7322:48cf67750eb1

<prooftechnique> learn prooftechnique n\xc3\xa9 NihilistDandy He was there some time ago. Maybe he\'ll come back. Maybe he\'s a nihilist, too. (Note from the Editor: He came back, and is a nihilist.)
author HackBot
date Wed, 30 Mar 2016 03:31:31 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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