$$
$$
When is one thing equivalent to another? It turns out that answering this depends on a context, in some informal sense. Category theory offers a language by which this can be made precise, which has implications for a variety of technical challenges encountered in scientific computing.
This is a companion discussion topic for the original entry at https://blog.algebraicjulia.org/post/2022/01/cset-automorphisms/index.html