Will Troiani

"As humans we could never be content with knowing all, yet we can't be content with the fact that our brains will never know." ~ Tommy Rogers

Projects

Mathematics

2020: Gentzen-Mints-Zucker Duality

2019: (Finite) simplicial sets are algorithms and an update Describing finite colimits using the internal language of a topos

2017: A proof tree constructor for the Linear Lambda Calculus

Art

Current: Working with Nobby Seymour, "Usurping the authority of the Frame, which examines limits, both initial and terminal. Also, influenced by Godel's Theory of Incompleteness, the artist is investigating applying anomalous aspects of number theory to Design Theory".

2016: Provided mathematical help for Nobby Seymour whilst he worked on Etherium

Music

2020: Obdurate (coming soon)

2020: Magneck (coming soon)

Seminar Talks

Melbourne Haskell Group (2020)

"Gentzen-Mints-Zucker Duality", video

Topological Quantum Computing (2019)

"Reversible Turing Machines", Notes

"A crash course in simplicial cohomology with coefficients in Z mod 2", Notes

Graduate Topology Seminar

"Arithmetisation and localisation", Notes

Deep Learning

"Approximation of Continuous Functions by ReLU Nets", Notes

Topos Theory and Categorical Logic (2018)

"Monads and programs", Notes, Video

"Higher-order Logic and Topoi", Notes, Video

"The Classifying Space of Rings", Notes

DST Seminar (2017)

"Monads and Programs", Slides

Curry-Howard Correspondence (2016)

"The Church-Rosser Theorem", Notes, Improved notes

"Introduction to Lambda-Calculus", Notes

"System F in the real world: Haskell and functional programming", Notes, the referenced talk by Rich Hickey is Simple made easy