这是名为 Catlab.jl 的 Linux 应用程序，其最新版本可下载为 v0.17.0sourcecode.tar.gz。它可在免费的工作站托管服务提供商 OnWorks 上在线运行。
使用 OnWorks 免费下载并在线运行此名为 Catlab.jl 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
Catlab.jl
商品描述
Catlab.jl 是一个用 Julia 语言编写的应用和计算范畴论框架。Catlab 提供了一个编程库和交互式界面，用于将范畴论应用于科学和工程领域。它强调幺半群范畴，因为它们具有广泛的适用性，但也支持任何可形式化为广义代数理论的范畴结构。首先，Catlab 为应用范畴论提供了数据结构、算法和序列化功能。宏提供了一种便捷的语法，用于指定范畴论原则和类型安全的符号操作系统。接线图（又称字符串图）通过专门的数据结构支持，并且可以与 GraphML（一种基于 XML 的格式）和 JSON 进行序列化。
功能
- 编程库
- 交互式计算环境
- 计算机代数系统：
- Catlab 也可以在 Jupyter 笔记本中交互使用
- Catlab 将作为范畴代数的计算机代数系统
- 与大多数计算机代数系统不同，所有表达式都使用依赖类型理论的片段（称为广义代数理论）进行类型化
程式语言
朱莉娅
分类
此应用程序也可从 https://sourceforge.net/projects/catlab-jl.mirror/ 获取。它已托管在 OnWorks 中，以便通过我们的免费操作系统之一以最便捷的方式在线运行。
