# 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