Category Theory

I meant an object was just a set and these "arrows" were just mappings.

I am
Did not read your post.. ok, I really don't know what's so nice about it, since these are absolute basics which were taught in every math class of us, How did you define functions? We defined every function as mapping with start and destination set

You were taught about functions between sets. This is commonly taught in introductory mathematics. However, it just so happens that sets and functions between them form a category. That is to say they are an example of a category. That said, this is typically not elaborated on very much and it would be disingenuous to say you were taught the basics of category theory. On that note, perhaps a better name for category theory would be "function theory" (though that may also be misleading since often the arrows in category theory do not resemble functions at all).

When one is studying category theory itself one usually is interested in what sorts of property a category has (this is where terminology like cartesian closed category or braided monoidal category come from, to name a few). Doing this allows one to make conclusions about the category. For instance, the category of sets and functions is an example of a cartesian closed category which gives a number of nice but fairly technical properties.

In computer science one often studies the relationship between type theory, category theory, and logic (basically Curry-Howard Correspondence on steroids) in order to talk about structure and semantics of programming languages.

In mathematics it is also common for people to simply use category theory as an alternative (as opposed to set theory) approach to some area of mathematics. The benefit here is that category theory by its nature tends to abstract away a lot of technical but 'not very meaningful' clutter from the mathematics.

>Did not read your post.. ok, I really don't know what's so nice about it, since these are absolute basics which were taught in every math class of us, How did you define functions? We defined every function as mapping with start and destination set

If you look carefully you'll notice I didn't explicitly mention elements of objects. In fact it isn't always the case (depending on the category you're talking about) that objects have arrows or that they necessarily resemble anything like sets (similarly arrows don't necessarily resemble functions, again depending on the category you're talking about).

So that said, suppose we're talking about an arbitrary category. What sorts of things can we define? At first it may seem like you can't do very much but you'll find that in fact you can do a whole lot but you just have to do it at a higher level of abstraction than you normally do. For instance, inverse arrows:
Given
[math]f:A\to B[/math]
[math]g:B\to A[/math]
then if [math]fg = 1_A[/math], [math]g[/math] is a right inverse of [math]f[/math].
Similarly if [math]gf = 1_B[/math] then [math]g[/math] is a left inverse of [math]f[/math].
Moreover, if both of the above are true then [math]f[/math] and [math]g[/math] are said to be isomorphic.
Note that these more general definitions for inverse and isomorphism coincide with whatever other definitions for inverse and isomorphism you've encountered within any category.

This is still very much the tip of the tip of the iceberg of category theory.

>are said to be isomorphisms.
Sorry, typo. My bad.

Thanks for the explanation!

Noticed another typo (give me a break it's early af).
>that objects have arrows
meant to say
>that objects have elements