rezk-types - 具有局部单一性完备Segal空间范畴论同伦类型论Segal空间★ 64 · 更新于 2026-02-23定义同构等价于恒等式的Segal类型⚙ 定义同构类型⚙ 建立等价证明⚙ 实现局部单一性