Octocurious

❯

Polynomial Functor

Polynomial Functor

11 Mar 20261 min read

See https://ncatlab.org/nlab/show/polynomial+functor. indexed functor

Graph View

Backlinks

Container
Indexed W-Type
altenkirch2009-indexed-containers
dybjer1999-inductive-recursive

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community