3 papers
math-ph2026
2-Morita Theory of -Algebras and Module Categories
Rongge Xu, Holiverse Yang
Building on our previous work on 2-Morita equivalence for -algebras using topological pictures, we develop a systematic framework for Morita equivalence of topological orders…
cs.LO2025
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Rongge Xu, Hui Dai, Yiming Fu +5
While large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, current benchmarks fail to adequately measure library-grounded abstraction -…
cond-mat.str-el2024
2-Morita Equivalent Condensable Algebras and Domain Walls in 2+1D Topological Orders
Rongge Xu, Holiverse Yang
We classify condensable algebras in a modular tensor category up to 2-Morita equivalence. From a physical perspective, this is equivalent to providing a criteri…