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

9 hours 31 min ago

11 hours 46 min ago

11 hours 55 min ago

11 hours 56 min ago

13 hours 39 min ago

15 hours 54 min ago

16 hours 18 min ago

16 hours 21 min ago

16 hours 30 min ago

17 hours 15 min ago