판 이력 — UC, Categorically: Rigorous Diagrammatic Proofs | AIChainDay