view wisdom/free @ 12405:d014559a5542 draft

<oerjan> karma+ Hooloovoo
author HackEso <hackeso@esolangs.org>
date Fri, 18 Jun 2021 00:32:10 +0100
parents ca4257b9b1e7
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.