Combinatorial skeletons of 2-cobordism and annular categories with applications to equational logicmath.CT
Research categorizes 2-cobordisms and finds non-finitely axiomatizable equational theories.
problem Equational theories of local monoids in cobordism categories are not finitely axiomatizable.
method Introduced combinatorial data encoding -cobordisms, constructed von-Neumann-regular extensions, and studied various quotients.
result Local monoids of do not have finitely axiomatizable equational theories.