I’ve known about category theory and elliptic curves but I’ve never studied either one in depth. Or known they were connected. And I’ve never heard of the discrete log problem. I will need to do a deep dive. But check this out:

For web of trust to succeed, it must first be paired with the universal language of mathematics

graph and set theory as the basis for a universal representation of knowledge

For web of trust to succeed, it must first be paired with the universal language of mathematics