diff 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 diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/free	Sat Apr 16 20:39:18 2016 +0000
@@ -0,0 +1,1 @@
+A free structure is one that has no nontrivial identities, except algebraist phrase that in a much fancier way with morphisms.