Octocurious

❯

Polynomial Functor

Polynomial Functor

13 May 20261 min read

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

Graph View

Backlinks

Indexed W-Type
Inductive Type
altenkirch2009-indexed-containers
dybjer1999-inductive-recursive
generalised_mobiles2

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community