From the 1 of 4 linked papers with an AI index.
4 papers
Comonads as spaces
Aaron David Fairbanks, Kevin Carlson, David I. Spivak
The paper develops a theory linking comonads on Set to topological spaces, introducing density comonads as abstract subbases and showing how every comonad yields an underlying spac…
Polynomial Universes in Homotopy Type Theory
C. B. Aberlé, David I. Spivak
Awodey, later with Newstead, showed how polynomial functors with extra structure (termed ``natural models'') hold within them the categorical semantics for dependent type theory. T…
Interactions that reshape the interfaces of the interacting parties
David I. Spivak
Polynomial functors model systems with interfaces: each polynomial specifies the outputs a system can produce and, for each output, the inputs it accepts. The bicategory $\mathbb{O…
Categories by Kan extension
David I. Spivak
Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density com…