圏論勉強会のYouTubeビデオで圏論をかじっているのですが、並行して、たまたま、以下の記事が目につきました。 陰関数の不等式（等式）が図形を描く時、2つ以上の陰関数のmaxやminの不等式（や等式）で図形の共通部分や合併、境界を書くことができる、という…