@christianp Well, I could also imagine folding over trees, given by two binary operations — one for breadth and one for depth. There may be other generalizations.
Why is this step necessary? mathstodon.xyz might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here