3 papers
cs.LO2019
idris-ct: A Library to do Category Theory in Idris
Fabrizio Genovese, Alex Gryzlov, Jelle Herold +4
We introduce idris-ct, a Idris library providing verified type definitions of categorical concepts.idris-ct strives to be a bridge between academy and industry, catering both to ca…
cs.CR2019
Mapping finite state machines to zk-SNARKS Using Category Theory
Fabrizio Genovese, Andre Knispel, Joshua Fitzgerald
We provide a categorical procedure to turn graphs corresponding to state spaces of finite state machines into boolean circuits, leveraging on the fact that boolean circuits can be…
math-ph2019
Complexes of marked graphs in gauge theory
Marko Berghoff, Andre Knispel
We review the gauge and ghost cyle graph complexes as defined by Kreimer, Sars and van Suijlekom in "Quantization of gauge fields, graph polynomials and graph homology" and compute…