Types, Codes and TFTs

Roland M. Friedrich
DOI: https://doi.org/10.48550/arXiv.1805.02286
2018-05-06
Rings and Algebras
Abstract:We establish a relation between fully extended $2$-dimensional TQFTs and recognisable weighted formal languages, rational biprefix codes and lattice TFTs. We show the equivalence of $2D$ closed TFTs and rational exchangeable series and we discuss the important special case of finite groups. Finally, we outline a reformulation in terms of a restricted version of second order monadic logic.
What problem does this paper attempt to address?