主要观点：数学和科学需将创新基础研究与转化为强大实用技术相结合，目前研究与开发很少协同进行，思想流动单向，Topos 研究所的工作多为基础研究，需将其与实践结合以产生预期效果，正致力于创建新数学与实用技术的集成过程。
关键信息：

• 研究与开发常分离，思想流动单向。
• Topos 研究所多做基础研究，现要与实践结合。
• 推出面向用户的技术 CatColab，处于早期阶段，支持多种建模，基于范畴逻辑和系统理论。
• 对 CatColab 有多个发展方向的规划，如组合模型、数据实例、规格和验证等。
• 为实现目标需招聘全职软件工程师。
  重要细节：
• CatColab 关键组件有 Rust 编写的核心逻辑库、后端服务器和 TypeScript 编写的支持实时协作编辑的前端。
• 对软件工程师职位的招聘信息及联系方式。