会员服务
Functoriality of Enriched Data Types
Arxiv
0+阅读 · 12月15日
Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
Arxiv
0+阅读 · 12月10日
Realization of relational presheaves
Arxiv
0+阅读 · 12月9日
AdapTT: Functoriality for Dependent Type Casts
Arxiv
0+阅读 · 12月8日
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Arxiv
0+阅读 · 2023年5月2日
Functorial aggregation
Arxiv
0+阅读 · 2023年4月11日
A Complete V-Equational System for Graded lambda-Calculus
Arxiv
0+阅读 · 2023年4月4日
A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces
Arxiv
0+阅读 · 2023年4月2日
Coinductive control of inductive data types
Arxiv
0+阅读 · 2023年3月29日
Bisimilar States in Uncertain Structures
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top