标记类别的包裹-理论
4个包裹有此标签。
[合并标签](仅限受托人)相关标签:图书馆(4),bsd3型(3),数学(3),代数(1),类别(1),控制(1),数据(1),单子(1),英里/小时(1)
姓名 |
数据链路 |
额定值 |
收入折旧 |
描述 |
标签 |
最后一个U/L |
上次版本 |
维护者 |
数据类别 | 85 | 2.25 | 1 | 范畴理论 | (bsd3型,分类理论,图书馆,数学) | 2023-03-27年 | 0.11 | Sjoerd Visscher先生 |
自由分类 | 32 | 2 | 1 | 自由类别和箭头的有效数据类型 | (代数,类别,分类理论,控制,图书馆,单子叶植物,英里/小时) | 2023-06-04 | 0.0.4.5 | 笨蛋 |
自由函子 | 148 | 0 | 1 | 自由函子,与忘记类约束的函子相邻。 | (bsd3型,分类理论,数据,图书馆,数学) | 2020-10-05 | 1.2.1 | Sjoerd Visscher先生 |
正方形 | 26 | 2 | 0 | Hask函子和profunctor的双重范畴 | (bsd3型,分类理论,图书馆,数学) | 2023-07-15 | 0.2.1条 | Sjoerd Visscher先生 |