LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories). - Rongge Xu; Hui Dai; Yiming Fu; Jiedong Jiang; Tianjiao Nie; Hongwei Wang; Junkai Wang; Holiverse Yang; Jiatong Yang; Zhi-Hao Zhang (CoRR, 2025)