Post #1005989
2026-04-03 14:50 UTC
RE: https://mastoxiv.page/@arXiv_csLO_bot/116339696722708806
New preprint up on the arXiv, applying the theory of polynomial functors in dependent type theory to program verification:
Replies (1)
-
@mathemagical@mathstodon.xyz 2026-04-03 20:25
@cbaberle How do you intuit around polynomial functors? The paper's beyond my current category theory knowledge (evidenced by the wikipedia entry for Polynomial Functors being incomprehensible)