This

paper was mentioned here

before, but not on the home page.

It deserves to get more attention, since it is quite cool.

Warning: This one isn't for the faint of heart, and uses scary terms like polynomial functors, initial algebras and terminal coalgebras, constructive set theory and more...

## Recent comments

5 hours 3 min ago

5 hours 42 min ago

5 hours 56 min ago

12 hours 31 min ago

13 hours 33 min ago

14 hours 16 min ago

15 hours 18 min ago

18 hours 16 min ago

19 hours 35 min ago

21 hours 46 min ago