Category theory and blockchain and petri nets | Hacker News Reader