会员服务
Well-Founded Coalgebras Meet König's Lemma
Arxiv
0+阅读 · 2月19日
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
Arxiv
0+阅读 · 2月16日
Weisfeiler and Lehman Go Categorical
Arxiv
0+阅读 · 2月6日
Well-Founded Coalgebras Meet König's Lemma
Arxiv
0+阅读 · 2月9日
Optimization under uncertainty: understanding orders and testing programs with specifications
Arxiv
0+阅读 · 2月13日
Polycontrolled PROPs for Qudit Circuits: A Uniform Complete Equational Theory For Arbitrary Finite Dimension
Arxiv
0+阅读 · 2月10日
The Only Distributive Law Over the Powerset Monad Is the One You Know
Arxiv
0+阅读 · 2月13日
Emergent Analogical Reasoning in Transformers
Arxiv
0+阅读 · 2月2日
Problems with fixpoints of polynomials of polynomials
Arxiv
0+阅读 · 1月21日
Monadic Context Engineering
Arxiv
0+阅读 · 1月22日
The free bifibration on a functor
Arxiv
0+阅读 · 1月15日
Monadic Context Engineering
Arxiv
0+阅读 · 1月9日
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日
参考链接
微信扫码咨询专知VIP会员
Top