Kyoto Sangyo University

Variations of GIT Quotients and Dimer Combinatorics for Toric Compound Du Val Singularities

A dimer model is a bipartite graph described on the real two-torus, from which we can define the associated quiver.It is known that for any three-dimensional Gorenstein toric singularity, there exists a dimer model such that a GIT quotient parametrizing stable representations of...

Programming Backpropagation with Reverse Handlers for Arrows

We introduce a new programming language and its categorical semantics in order to design and implement neural networks within the framework of algebraic effects and handlers for arrows. Our language enables us to construct neural networks symbolically, in the same manner as algeb...