成为VIP会员查看完整内容
VIP会员码认证
首页
主题
会员
服务
注册
·
登录
函子
关注
0
综合
百科
VIP
热门
动态
论文
精华
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
Arxiv
0+阅读 · 1月5日
Hofmann-Streicher lifting of fibred categories
Arxiv
0+阅读 · 1月5日
Strong Dinatural Transformations and Generalised Codensity Monads
Arxiv
0+阅读 · 1月2日
Polynomial Universes in Homotopy Type Theory
Arxiv
0+阅读 · 1月2日
Functoriality of Enriched Data Types
Arxiv
0+阅读 · 1月2日
Persistent Homology via Finite Topological Spaces
Arxiv
0+阅读 · 2025年12月29日
Monadic Context Engineering
Arxiv
0+阅读 · 2025年12月27日
The free bifibration on a functor
Arxiv
0+阅读 · 2025年12月24日
Weihrauch problems as containers
Arxiv
0+阅读 · 2025年12月19日
Functoriality of Enriched Data Types
Arxiv
0+阅读 · 2025年12月15日
Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
Arxiv
0+阅读 · 2025年12月10日
Realization of relational presheaves
Arxiv
0+阅读 · 2025年12月9日
AdapTT: Functoriality for Dependent Type Casts
Arxiv
0+阅读 · 2025年12月8日
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Arxiv
0+阅读 · 2023年5月2日
Functorial aggregation
Arxiv
0+阅读 · 2023年4月11日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top