# Diagram Systems and Generalized Finite Type Theories

Preprint · Cole Hugelmeyer

- Archive id: arxiv:2307.07661
- Published: 2023-07-14
- arXiv: https://arxiv.org/abs/2307.07661
- Source URL: https://arxiv.org/abs/2307.07661
- PDF: https://arxiv.org/pdf/2307.07661
- Provenance: arxiv

## Abstract

We present a category theoretical generalization of the Goussarov theorem for finite type invariants, relating generating sets for generalized finite type theories with diagrams systems for the corresponding topological objects. We will demonstrate this correspondence through a few examples including the standard finite type theory and its relationship with clasp diagrams, the finite type theory of delta moves and a new diagram system called looms, and the finite type theory of combinatorial structures we call virtual transverse knots. The finite type theory of delta moves may have applications to unknotting number, and the theory of virtual transverse knots leads to many interesting and difficult conjectures.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.