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