$$

$$

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/