Added a missing lim in proof of Proposition 8.14

jwbuurlage / category-theory-programmers

Category theory in the context of (functional) programming

MIT License

514 stars 38 forks source link

Closed jmgimeno closed 7 years ago

jmgimeno commented 7 years ago

There is a limit missing in the proof of Proposition 8.14

jwbuurlage commented 7 years ago

Thanks again! Much appreciated.