Hacker News new | past | comments | ask | show | jobs | submit login

forming relationships between objects

This is vague and doesn't mean anything. People can't even agree what 'objects' are and people did a lot of programming before the term 'object' was invented.

Programming is about is fundamentally about instructions and data. Yin and yang of two things that are completely different, even if people can occasionally mix them and conflate them.






Category theory is often jokingly called the study of dots and arrows. What's a dot? Anything. What's an arrow? A relationship.

I'm surprised I hit a nerve with so many people. I'm quoting someone who's considered one of the greatest mathematicians. Obviously I don't know the backgrounds of people but it seems like programmers have strong opinions on what math is that disagrees with what mathematicians say they do.

https://en.wikipedia.org/wiki/Category_theory


Now it's not math it's 'category theory' and that's dots and arrows and dots are anything.

At what point does the abstract description just not offer any useful insight anymore?

I'm surprised I hit a nerve with so many people.

A lot of people had very good explanations for why you're pretty far off in trying to say two things are the same.

Programming is much more like building a machine than any sort of straight math. There is state, there is interactivity, there is performance, there is IO and there are real world implications to all of it.

Saying they are the same is like saying gardening is plumbing just because you sometimes use a hose.


  > [No,] it's not math it's 'category theory' 
That's a wild claim considering Category Theory is a branch of mathematics

  | Category theory is a general theory of mathematical structures and their relations.
  - https://en.wikipedia.org/wiki/Category_theory
It is necessary that you provide an alternative definition as to what "category theory" is, though I suspect it will make many category theorists and mathematicians upset.

  > A lot of people had
A lot of non-mathematicians disagreed with mathematicians. https://news.ycombinator.com/item?id=43882197

That's a wild claim considering Category Theory is a branch of mathematics

It's not a wild claim since you misquoted me.

A lot of non-mathematicians disagreed with mathematicians.

Mathematicians can claim whatever they want, when it comes to programming, programmers understand it better and they're trying to explain to you why this is nonsense. Vanderbilt claims to be "the harvard of the south" but wouldn't you know it, harvard doesn't claim to be "the vanderbilt of the north".

Show me programming languages designed by mathematicians to be 'mathematically pure' and I'll show you a language that hasn't been used to ship software that people want to use.




Consider applying for YC's Summer 2025 batch! Applications are open till May 13

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: