Nate Cull (.social)Mar 1, 2020

I struggle to get my head even round the beginning parts of category theory. My fundamental problem is that I don't understand why it exists.

Eg, I stumble at this introductory sentence:

https://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/

<< A category is an embarrassingly simple concept. A category consists of objects and arrows that go between them.>>

And right there I'm screaming: That's a graph. You're literally describing a graph. Why did you invent a whole bunch of new terms to describe what already exists?

Category: The Essence of Composition

I was overwhelmed by the positive response to my previous post, the Preface to Category Theory for Programmers. At the same time, it scared the heck out of me because I realized what high expectati…

  Bartosz Milewski's Programming Cafe
Show threadNate Cull (.social)Mar 1, 2020

Also: things-with-arrows are also literally mathematical relations (and also mathematical functions if the arrows with one label from one thing are guaranteed to only go to one other thing).

So that's my big dumb first question:

We already have plenty of mathematical tools which are 'things-with-arrows'. Why did the category theorists feel that they needed their OWN set of things-with-arrows, and that they couldn't use other people's things-with-arrows?

h/t @charlag for the link

Show threadStarbright Electric BoltMar 1, 2020
@natecull @charlag You are confusing abstraction levels. It's like looking at the axioms for a commutative group, saying "a bunch of objects with addition and an identity element? That's literally just the integers.", and wondering why the integers weren't good enough for group theorists and they needed to make up their OWN integers.
An arrow can be a function or relation between sets, but the whole point is not to assume that.
Show threadNate Cull (.social)Mar 1, 2020

@starbright @charlag

<< An arrow can be a function or relation between sets, but the whole point is not to assume that. >>

Can you explain to me how "something which can be represented in language, or in a computer database, as a network of discrete symbols linked to each other" could possibly NOT be a relation or a graph?

Show threadNate Cull (.social)

@starbright @charlag

Eg: at what point does the literal graph representing a category stop being a graph and start being that category?

Does a category only exist when a mathematician is thinking about it?

Can a category exist as a representation in a computer, or is part of the idea of categories that they can't ever be represented?

Mar 1, 2020 at 2:05amWeb
Show threadNate Cull (.social)Mar 1, 2020

@starbright @charlag

(Eg maybe part of the conventional idea of 'graph' that I'm not quite getting is that typically they are assumed to be a finite number of nodes, while categories can have an infinite number of nodes? Is that the bit that's important and that needed another theory? So when I say 'isn't a category literally a graph because it has nodes and arrows' is it that it can't be a graph because it has infinite nodes, and the uncountability is important?)

Show threadStarbright Electric BoltMar 1, 2020
@natecull @charlag Cardinality (whether there are infinitely many of anything) is not relevant to the distinction between categories and graphs. Both categories and graphs can be finite or infinite, although in terms of what is studied infinite categories and finite graphs are more frequent. But not overwhelmingly in either case.
Show threadStarbright Electric BoltMar 1, 2020
@natecull @charlag
1. Never; describing a category requires giving more information than is present in a description of its underlying graph.
2. No more or less than any other mathematical object.
3. Categories can be represented. A category is no more or less than two sets and four functions between products of those sets. You can represent functions either as a lookup table or as code that computes that function.