LogoClawIndex
案例技能关于
LogoClawIndex

rezk-types - 具有局部单一性完备Segal空间

定义同构等价于恒等式的Segal类型

标签

更新于: 2026-02-23
范畴论同伦类型论Segal空间

能力

典型输入

典型输出

该技能可以做什么

  • 定义同构类型
  • 建立等价证明
  • 实现局部单一性

输入

  • Segal类型
  • 同伦数据
  • 类型理论定义

输出

  • Rezk完备化
  • 单一性证明
  • 范畴结构

要求

  • Rzk语言
  • Segal类型系统
  • 同伦论

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
定义同构类型
建立等价证明
实现局部单一性
Segal类型
同伦数据
类型理论定义
Rezk完备化
单一性证明
范畴结构