yogsototh / Category-Theory-Presentation

An Haskell oriented introduction to Category Theory (with basket of cats!)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Preorders are directed graphs (possibly with cycles)

prathyvsh opened this issue · comments

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