Whats the best book for category theory? my class is using 'Categories

File: Der Gute.png (460KB, 1012x628px) Image search: [Google]

460KB, 1012x628px

Why don't you like it and what are the other books you have?

The standard, 'Categories for the Working Mathematician', can be a tough intro.
There is a book by Adwodey, but it's for CS people, mostly. Then there is one by Simmons, which does drawing diagrams as a tool very right, but lacks examples.

For the most part, knowing examples is the most important aspect, otherwise it's stale. Understanding the sense in which isomorphisms replace equality in the theory (as a theory itself I mean, written down in logic) is also quite relevant.

I don't know why you have a problem with natural transformations. Then /maybe/ look at functors as a homomorphism for functions an [math] \circ [/math]
[math] F(f\circ_C g) = F(f) \circ_D F(g) [/math]
akin to
[math] \exp(x+y) = \exp(x) \cdot \exp(y) [/math]
and a natural transformation as a homotopy of such homomorphism.
Whatever is the range of the one homomorphism (functor), you can direct it through the homotopy (natural transfomration) to get the image of another.

>Yoneda lemma
Then /maybe/ Try understanding the Yoneda embedding first

Depending on how quickly you need to learn it, I'll discuss category theory in a series of youtube videos this year.

File: yoneda_artwork2.png (313KB, 1000x1269px) Image search: [Google]

313KB, 1000x1269px

>>8899187
I may add..
a few years ago I tried to flesh out the common Yoneda lemma proof diagram in a way that displays all it's components and helps visualizing stuff with color. However, I post this only reluctantly since it may or may not be confusing to anyone else

oh and thirdly, not that instead of the axiomatization of a category via
>objects and hom-sets
there is an equivalent axiomatization via
>arrows, source map and target map

That is to say, objects are a spook, they are optional to talking about categories per se

>>8899199
Looking good, thou I haven't begin category theory myself, looking at this gets me inspired somehow

>>8899187
>a good post on /sci/
nice

are there any interesting categories of numbers?

>>8899127

how's your understanding of modern algebra?

>>8899187
>>8899199
thanks, im already using Awodey, ill get the other one too. I have another assignment in a month, but my exams are only at the end of the year, so those vids would help.

>>8899199
ill try to understand this later.

>>8899775
I know group/ring/field theory, also a bit about modules that I quickly went over since a lot of the examples talk about them.

For what do I use category theory?

>>8900913
Category arose out of Algebraic Topology, but nowadays it has applications even in dynamics, computer science, physics and pretty much every subfield of algebra. Most theorems can be phrased in the language of category theory.

>>8900937
But can you give an example of pratical aplication?
This may sound like "I think this is useless", but it really is "I just don't understand how to use it for something in practice".

>>8900945
http://math.ucr.edu/home/baez/irvine/

File: Adjoint_functors_sym.png (7KB, 350x175px) Image search: [Google]

7KB, 350x175px

>>8900952
I'm the one who posted the Schreiber pic (>>8899187), but linking to some toy construction on Baez blog shouldn't run as a "practical example".

>>8900945
Category theory is mostly a language with a few practical concepts. On it's own (in particular, without topological spaces of some sort), category theory has almost no theorems - that's why you almost can't see theorems of it applied. But the language and way of thinking about things is prevalent.

It also unified lot's of concepts.

For example, the fact that
functions with pairs as arguments
[math] f: X \times Y \to Z [/math]
[math] f(x,y) := x\, \sin(y) [/math]

are in one-one correspondence with functions on one argument which have functions as output
[math] g: X \to Z^Y [/math]
[math] g(x) := y \mapsto x\, \sin(y)[/math]

is the same sort of claim as

[math] 5^{(3\cdot 7)} = (5^7)^3 [/math]

and this is the same sort of claim as

[math] ((X\land Y) \to Z) \leftrightarrow (X\to (Y\to Z)) [/math]

>if from propositions X and Y being true, Z follows, then from X follows that given Y is true, Z is also true
>and the other way around

The theory will bring all those together as the same sort of an adjoint in a Carterian closed category

As an application, it's worth noting how some programming languages have stolen the abstractions to make code more slim.
E.g. in haskell, that one is omnipresent

https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Functor.html

>>8899224
>>there is an equivalent axiomatization via
>>arrows, source map and target map
what is this one ?

File: Screen Shot 2017-05-11 at 14.45.22.png (131KB, 855x776px) Image search: [Google]

131KB, 855x776px

>>8901021
I'm speaking of the first definition of category theory as written down here in my notes

https://axiomsofchoice.org/category_theory
here's one from e.g. ZFC
https://axiomsofchoice.org/category_._set_theory

I'll work a lot of this into the youtube series after I covered some Idris in the second half of the year, subscribe here
https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos

On the wiki I've also made some remarks on the drawing posted above in >>8899199
https://axiomsofchoice.org/yoneda_embedding

>>8901030
>I'm speaking of the first definition of category theory as written down here in my notes
but you still use the type ''objects of C''

>>8899127
Op,

The easiest introduction (but rigorous) to Category theory is "Category theory for Scientist" by Spivak.

Follow that up with "Conceptional Mathematics"

This is the most legit answer in the thread

File: Screen Shot 2017-05-11 at 18.29.49.png (155KB, 805x558px) Image search: [Google]

155KB, 805x558px

>>8901056
No, the sources and targets of the arrows equal identity arrows. Then, here, an identity arrows is one which has itself as source and target (i.e. s and t are endomorphisms and idempotent on the identities).

The definition is opaque for most applications, but its possibility shines light some conceptual issues people often have.

E.g. the
>category of topological spaces
is a shit name. You want to investigate continuous functions, or homotopies, or whatnot. It's about the arrows. A poset viewed as a category is about the relation of object, not so much about the objects. So, also, in some sense the category of sets is "really" the category of functions between sets in your set theory.
The the objects (spaces, orderable things, sets) are just often the thing you define elsewhere first and they induce your arrows. But objects can be somewhat evil.
But please don't think I'm dogmatic about that perspective.

Can someone explain how one could model the Babbage analytical engine on paper?

For a first reading I can recommend

http://katmat.math.uni-bremen.de/acc/acc.pdf

But Categories for the Working Mathematician is really top notch and often use it to recall some facts.

Also if you're the YouTube type of guy, then check out the catsters:

https://www.youtube.com/user/TheCatsters

I do not like the presentation, but it is still extremely well thought out.

>>8901923
I find neither the Joy of Cats not the Catsters to be accessible intros.
Maybe the first few dozen pages of Joy of Cats

>>8902240
Joy of Cats is a useful reference after knowing basic category theory. It's good because you get a bunch of results about concrete categories - bad because you should already have a strong understanding of universal constructions and nats, adjoints, etc. to see what's special about/what the desiderata are for the concrete cases.