3 papers
math.CT2026
Metacat: a categorical framework for formal systems
Paul Wilson
We present a categorical framework for formal systems in which inference rules with metavariables over a category of syntax , taken to be a cartesian PROP, are rep…
cs.LG2025
Convergence for Discrete Parameter Update Schemes
Paul Wilson, Fabio Zanasi, George Constantinides
Modern deep learning models require immense computational resources, motivating research into low-precision training. Quantised training addresses this by representing training com…
math.CT2024
String diagrams for Strictification and Coherence
Paul Wilson, Dan Ghica, Fabio Zanasi
Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict mo…