Hornfiller 将高阶范畴论做成游戏化学习工具

来源标题：Hornfiller – higher category theory, gamified

Hornfiller 是一个把高阶范畴论游戏化的项目，用游戏化方式呈现这一抽象数学领域。原文未提供更多关于其形式、功能或发布信息的细节。