5 ms·

Applied Category Theory Course (2018)

152 points by measurablefunc 3mo ago

semiinfinitely 3mo ago
thats an oxymoron
not_a_bot_4sho 3mo ago
Yay, John!
- esafak 3mo ago
  I knew it was going to be Baez just from the title and domain.
  - lioeters 3mo ago
    John Baez' recent work on Mathematics of Tuning Systems is such a fun read. I enjoy how he explains ideas so clearly that the general public can understand and appreciate.
- jesuslop 3mo ago
  I participated there and couldn't guess for the life of me how does Baez gathers the amount of energy needed to put together all the materials, setup all the exercises and review and comment all the participation in a tuition free everybody-welcomed online experience such as that, beyond his normal academic duties. In the link there are the e-lectures but all the online forum give-and-take is sadly lost.
pishpash 3mo ago
Applied category theory, like abstract mathematics, lol?
Jhsto 3mo ago
As a programmer interested in category theory, I found this book a rather good balance between the abstract non-sense of CT and what I might actually use in programming. I wonder if anyone else has good books to recommend? I feel that the contents of the book remains a bit hard to appreciate in full unless you have ran into these concepts previously.
- 363849473754 3mo ago
  F. William Lawvere - Conceptual Mathematics: A First Introduction to Categories Eugenia Cheng - The Joy of Abstraction: An Exploration of Math, Category Theory, and Life She builds up to the category theory chapters. Book club: https://youtube.com/playlist?list=PLhgq-BqyZ7i7tEEQVG5rlOG8y44aqRaZ3 https://youtube.com/playlist?list=PLhgq-BqyZ7i7tEEQVG5rlOG8y...
  - Jhsto 3mo ago
    Thanks for the links! The first book seems very good (I already own the latter).
    - 363849473754 3mo ago
      For a more advanced book: Category Theory in Context by Emily Riehl
- jhartikainen 3mo ago
  Not sure of your level, but as a beginner, these two were recommended to me on HN previously: - https://www.cambridge.org/highereducation/books/conceptual-mathematics/00772F4CC3D4268200C5EC86B39D415A#overview https://www.cambridge.org/highereducation/books/conceptual-m... - https://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/ https://bartoszmilewski.com/2014/11/04/category-the-essence-... (a blog series on CT specifically for programmers)
  - Jhsto 3mo ago
    Kiitos! My level is graduate, but part of the challenge with category theory is that some of the terms are quite unsuggestive. I feel that after seeing enough examples, I can start making more sense what some concept would be in Finnish, which helps me remember what was what and what it might relate to. Edit: Also realized you're in Oulu, feel free to email me if you'd be up to meeting in-person to discuss these further!
ufo 3mo ago
The part in the beginning about Galois Connections is very worth learning. It has countless applications.

152 points by measurablefunc 3mo ago

semiinfinitely 3mo ago

thats an oxymoron

not_a_bot_4sho 3mo ago

Yay, John!

esafak 3mo ago
I knew it was going to be Baez just from the title and domain.
- lioeters 3mo ago
  John Baez' recent work on Mathematics of Tuning Systems is such a fun read. I enjoy how he explains ideas so clearly that the general public can understand and appreciate.
jesuslop 3mo ago
I participated there and couldn't guess for the life of me how does Baez gathers the amount of energy needed to put together all the materials, setup all the exercises and review and comment all the participation in a tuition free everybody-welcomed online experience such as that, beyond his normal academic duties. In the link there are the e-lectures but all the online forum give-and-take is sadly lost.

pishpash 3mo ago

Applied category theory, like abstract mathematics, lol?

Jhsto 3mo ago

As a programmer interested in category theory, I found this book a rather good balance between the abstract non-sense of CT and what I might actually use in programming. I wonder if anyone else has good books to recommend? I feel that the contents of the book remains a bit hard to appreciate in full unless you have ran into these concepts previously.

363849473754 3mo ago
F. William Lawvere - Conceptual Mathematics: A First Introduction to Categories Eugenia Cheng - The Joy of Abstraction: An Exploration of Math, Category Theory, and Life She builds up to the category theory chapters. Book club: https://youtube.com/playlist?list=PLhgq-BqyZ7i7tEEQVG5rlOG8y44aqRaZ3 https://youtube.com/playlist?list=PLhgq-BqyZ7i7tEEQVG5rlOG8y...
- Jhsto 3mo ago
  Thanks for the links! The first book seems very good (I already own the latter).
  - 363849473754 3mo ago
    For a more advanced book: Category Theory in Context by Emily Riehl
jhartikainen 3mo ago
Not sure of your level, but as a beginner, these two were recommended to me on HN previously: - https://www.cambridge.org/highereducation/books/conceptual-mathematics/00772F4CC3D4268200C5EC86B39D415A#overview https://www.cambridge.org/highereducation/books/conceptual-m... - https://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/ https://bartoszmilewski.com/2014/11/04/category-the-essence-... (a blog series on CT specifically for programmers)
- Jhsto 3mo ago
  Kiitos! My level is graduate, but part of the challenge with category theory is that some of the terms are quite unsuggestive. I feel that after seeing enough examples, I can start making more sense what some concept would be in Finnish, which helps me remember what was what and what it might relate to. Edit: Also realized you're in Oulu, feel free to email me if you'd be up to meeting in-person to discuss these further!

ufo 3mo ago

The part in the beginning about Galois Connections is very worth learning. It has countless applications.