本文谈计算机和人工智能理论使用范畴学的一些例子。希望借助这些例子鼓励更多计算机科学与数学的交流，相互促进更大的创新发展，希望人工智能有一天用上更深刻的数学。 本文根据作者在2025年4月在河南师范大学数学系和计算机系的报告撰写。