I've just relearned the following lesson: If you're going to make something by generators and relations, you should check and prove whatever coherence it satisfies. You're going to need it sooner or later if you're doing anything nontrivial with your construction.

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!