search

yogsototh / Category-Theory-Presentation

An Haskell oriented introduction to Category Theory (with basket of cats!)
63 stars 10 forks source link

Preorders are directed graphs (possibly with cycles) #5

Open prathyvsh opened 3 years ago

prathyvsh commented 3 years ago

Hi there,

I happened to chance upon your talk which I thought very nicely laid out. Good job on it!

I spotted a possible error here in the vocab translation part: https://github.com/yogsototh/Category-Theory-Presentation/blob/master/categories/10_Introduction/070_Programmer_Translation.md

You designate preorders to acyclic graphs, but I think they are directed graphs which could possibly have cycles among them.

Please let me know if you think that’s a correct observation.

Thanks for putting this together.

Cheers, Prathyush