Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

Algebraic structures such as operads, Lie algebras and higher A∞-algebras underpin many foundational aspects of modern mathematics. When combined with homotopy theory—the study of continuous ...

来自国际团队的研究人员针对低光照图像存在噪声干扰和细节丢失的难题，创新性地提出同伦卷积神经网络框架(Homotopy-CNN)，通过建立连续形变映射关系实现图像特征空间的拓扑优化。该模型在保持边缘锐度的同时显著提升信噪比(PSNR>28dB)，为医学内窥镜、显微 ...