학술논문

Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words
Document Type
Working Paper
Source
Subject
Mathematics - Category Theory
Computer Science - Formal Languages and Automata Theory
Mathematical Physics
Mathematics - Dynamical Systems
Mathematics - Quantum Algebra
Primary: 57K16, 68Q45, 18M05, 37B10, Secondary: 06A12, 68Q70, 18B20
Language
Abstract
Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where defects accumulate toward inner endpoints, relating such TQFTs and topological theories to sofic systems and $\omega$-automata.
Comment: 31 pages, many figures