To join the Discord server on Units, Quantities, and Applied Category Theory, please click on the following link: join the Discord server.