view wisdom/free @ 7392:ca4257b9b1e7

<b_jonas> slashlearn free/A free structure is one that has no nontrivial identities, except algebraist phrase that in a much fancier way with morphisms.
author HackBot
date Sat, 16 Apr 2016 20:39:18 +0000
parents
children
line wrap: on
line source

A free structure is one that has no nontrivial identities, except algebraist phrase that in a much fancier way with morphisms.