Questions tagged [category-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
164 views

The origin of $∂^2=0$ and $d^2=0$

I know that formula $∂^2=0$ and $d^2=0$ very important in the homology and cohomology theory. And I understand that this formula was generated from the process of finding a solution to the partial ...
pokssin's user avatar
  • 135
2 votes
0 answers
131 views

How did Grothendieck come in contact with Category theory?

Category theory was formalized around 1950s, and Grothendieck made his breakthrough papers about 10-20 years from that time. I wish to know, how was it possible the ideas of Category Theory were so ...
tryst with freedom's user avatar
2 votes
0 answers
125 views

The first commutative diagram

Cf. https://golem.ph.utexas.edu/category/2013/07/the_first_commutative_diagram.html Is this the first ever commutative diagram? By commutative diagram I mean anything that shows an equality (or ...
Hypatia du Bois-Marie's user avatar
-1 votes
1 answer
228 views

How long have all the mathematicians working in the respective fields known the theory of categories

Vague the question: how long have all the mathematicians working in the respective fields known the theory of categories? More specific questions: Is it true that all modern working algebraic ...
Arshak Aivazian's user avatar
5 votes
1 answer
152 views

Where did the notion of the product in a category first appear?

In his book, Category Theory[1], Awodey writes the following about it: Next, we are going to see the categorical definition of a product of two objects in a category. This was first given by Mac Lane ...
Euge's user avatar
  • 153
15 votes
3 answers
1k views

How did Grothendieck encounter and adopt the categorical language?

Apparently the first mathematical publication of Grothendieck where he uses the terms “functor” and “category” in the technical sense is the Kansas report. From where Grothendieck had knowledge of ...
tttbase's user avatar
  • 602
10 votes
3 answers
715 views

Philosophy behind category theory

Category theory represented a huge change in the way the community thought about mathematics, leaving its the set theoretic nature behind and bringing up the importance of arrows between the objects ...
hjhjhj57's user avatar
  • 1,142
31 votes
1 answer
3k views

Was object oriented programming influenced by the mathematical category theory?

Object oriented programming (OOP) is a programming model where code and data are encapsulated into units called objects that behave semi-autonomously. Interaction between objects is arranged through ...
Conifold's user avatar
  • 73.3k