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

- All Categories 2.2K
- Applied Category Theory Course 355
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

Options

in Chat

Wow, it's great to see so many people interested in applied category theory! I'm delighted to "meet" all 250+ of you!

More than a decade ago, I was a PhD student of John Baez, which meant a lot of time thinking about categories as a grad student, even if my thesis research wasn't mostly on category theory. Over the years, my research has directly involved categories here and there, but the larger impact for me has been how category theory influences my thinking, even on projects that *don't* explicitly involve categories. Knowing category theory helps a lot with "big-picture" thinking!

Right now I'm in the midst of a big career shift: after years of research mostly in mathematical physics, I am now getting back to thinking about computation: especially artificial intelligence and quantum computation. These are fairly new direction for me, but there's also interesting overlap with mathematics I've worked on before, and I'm really excited about that. While I've thought a lot about category theory applied in physics and topology, my current interests are leading me much more toward "applied category theory" in the sense of this course.

I'm happy John is teaching this course! It reminds me of the good old days in John's seminar at UCR, but with a lot more participants. I'm excited to see what comes out of it.

## Comments

It's great to see you here, Derek! Category theory is so general that if you use enough categories in your work you can change fields without even noticing it. That's an exaggeration, but it eased my career shift, and I hope it eases yours.

I hope you drop comments here and there; the stuff we're doing so far is pretty elementary, but it's also quite cute: basically, Brendan and David cover a lot of the main themes of category theory for

preordersin the first two chapters. A preorder can be defined as a category where all diagrams commute, so you can see how this would massively simplify category theory. "Yay! All equations are true!" Nonetheless the concepts of adjoint functor and monoidal category are nontrivial and very interesting. So that's what we're doing now.Consider talking to these folks:

That's where the computer people are congregating.

`It's great to see you here, Derek! Category theory is so general that if you use enough categories in your work you can change fields without even noticing it. That's an exaggeration, but it eased my career shift, and I hope it eases yours. I hope you drop comments here and there; the stuff we're doing so far is pretty elementary, but it's also quite cute: basically, Brendan and David cover a lot of the main themes of category theory for _preorders_ in the first two chapters. A preorder can be defined as a category where all diagrams commute, so you can see how this would massively simplify category theory. "Yay! All equations are true!" <img src = "http://math.ucr.edu/home/baez/emoticons/celebrating.gif"> Nonetheless the concepts of adjoint functor and monoidal category are nontrivial and very interesting. So that's what we're doing now. Consider talking to these folks: * [Categories for the Working Hacker - a Discussion Group](https://forum.azimuthproject.org/discussion/1782/categories-for-the-working-hacker-a-discussion-group). That's where the computer people are congregating.`