view wisdom/free @ 12337:e9c3120bed34 draft

<wib_jonas> `` cat olist.new > /hackenv/bin/olist
author HackEso <hackeso@esolangs.org>
date Thu, 16 Jul 2020 13:31:17 +0000
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.