Comment by dogruck

Yes. Although I question the usefulness of this jargon list, I think Bartosz Milewski’s CTfP is excellent:

https://bartoszmilewski.com/2014/10/28/category-theory-for-p...