#108 - Dan Palombi: Applied Topos, Category, Synthetic Domain, Type Theory, Multi-Agent Game Theory, Compsci Mathematician | Scraping Bits | Podwise