154 citations · 299 across the 12 of their papers we have counts for
13 papers
Classification of symmetric fusion categories over
Mo Huang, Hao Xu, Zhi-Hao Zhang
We show that every symmetric fusion category over is equivalent to the category of finite-dimensional semi-linear representations of a -graded finite sup…
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 -…
The 2-character theory of finite 2-groups
Mo Huang, Hao Xu, Zhi-Hao Zhang
We generalize the notion of character for 2-representations of finite 2-groups. The properties of 2-characters bear strong similarities to those classical characters of finite grou…
Higher condensation theory
Liang Kong, Zhi-Hao Zhang, Jiaheng Zhao +1
We develop a unified mathematical theory of defect condensations for topological orders in all dimensions based on higher categories, higher algebras and higher representations. A…
Tannaka-Krein duality for finite 2-groups
Mo Huang, Zhi-Hao Zhang
Let be a finite 2-group. We show that the 2-category of finite semisimple 2-representations is a symmetric fusion 2-category. We also rel…
String Condensations in 3+1D and Lagrangian Algebras
Jiaheng Zhao, Jia-Qi Lou, Zhi-Hao Zhang +3
We present three Lagrangian algebras in the modular 2-category associated to the 3+1D topological order and discuss their physical interpretations, connecting algebr…