It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Chat 500
- Study Groups 19
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 69
- Azimuth Code Project 110
- Statistical methods 4
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 713

Options

Over the past 4 years, I've learned many math from John Baez's Google Plus postings. They are exactly the type I like: visually beautiful, digestible by undergraduate math students, and has real math content (in contrast to most math popularization books.)

Am a programer. First programing job in 1995 at Wolfram Research. But after that, most programing I do is web site, which is kinda boring with lots human created complexity (as opposed to natural complexity).

Mathematica is my favorite programing language! (I know lisp well, and a little OCaml)

Never had a degree, but math has been my escape in life!

Heard about category theory since 1990s but never learned it. And since 2010s, all Haskell programers are talking about it! I need to understand monad now!

My main goal, is to understand Curry-Howard correspondence, and homotopy type theory. (and the related associated things that are perhaps necessary, such as Godel's theorems, first order logic, type theory, and category theory!)

Am surprised that lots of you guys are from diverse backgrounds outside of math and programing. e.g. I've seen environmental science, electric engineering, biology. But am also surprised, many are programers here! (for some reason, I was expecting mostly from math and physics background, as I thought category theory is a high craft.)

Am off to read the chapter 1, and will be reading and commenting other introduction pages. Nice meeting you guys. Great idea of learning together.

Thank you all! And thank you John.

## Comments

Are you the same Xah Lee of ergoemacs fame? if so, thank for you that site. It has helped out quite a bit with Emacs (and Elisp)!

`Are you the same Xah Lee of ergoemacs fame? if so, thank for you that site. It has helped out quite a bit with Emacs (and Elisp)!`

Something I noticed when I learned category theory was that I found I was much more capable of holding conversations with mathematicians in very different fields than I was comfortable with, because I didn't necessarily need to know the fine details of the subject to get the main ideas. I was also able to learn the details of a branch much quicker because I already had a framework in my mind to place the details into. I would love for this to expand to other fields of thought. It would be great if scientists (at least some of them) framed their ideas in categorical terminology. Then anybody else who knew some category theory could pick up on what they're saying. I think it is fantastic that biologists and engineers are noticing category theory more.

`Something I noticed when I learned category theory was that I found I was much more capable of holding conversations with mathematicians in very different fields than I was comfortable with, because I didn't necessarily need to know the fine details of the subject to get the main ideas. I was also able to learn the details of a branch much quicker because I already had a framework in my mind to place the details into. I would love for this to expand to other fields of thought. It would be great if scientists (at least some of them) framed their ideas in categorical terminology. Then anybody else who knew some category theory could pick up on what they're saying. I think it is fantastic that biologists and engineers are noticing category theory more.`

Great to see you Timmy from emacs community. The last emacs maintainer Stefan Monnier is a functional programing language researcher. He wrote smie.el for parsing and pcase.el for pattern matching.

I hope (and i know it will) category theory will help me understand many of the functional programing theories and programing language design.

`Great to see you Timmy from emacs community. The last emacs maintainer Stefan Monnier is a functional programing language researcher. He wrote smie.el for parsing and pcase.el for pattern matching. I hope (and i know it will) category theory will help me understand many of the functional programing theories and programing language design.`

hi Joseph, it is great to see your confirmation of Category Theory application. Thanks for comments, and i'll probably have many weird questions. Am looking forward to learning from discussion.

`hi Joseph, it is great to see your confirmation of Category Theory application. Thanks for comments, and i'll probably have many weird questions. Am looking forward to learning from discussion.`

Hi, Xah! Glad to see you here. I'm hoping it will be a more lively environment than G+.

`Hi, Xah! Glad to see you here. I'm hoping it will be a more lively environment than G+.`

Hey Xah! Good to see you here and many thanks for the website, it's been useful to me many a time.

`Hey Xah! Good to see you here and many thanks for the website, it's been useful to me many a time.`