category-theory-basic¹⁰ deep-learning⁷ hn⁴