会员服务
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会员
Top