ダガーモノイダル圏としてのHilbの特徴づけが最近出てたけど、同じような仕方でRelも特徴づけできるらしい
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
