Questions tagged [category-theory]
The category-theory tag has no usage guidance.
6
questions
2
votes
0
answers
118
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 ...
-1
votes
1
answer
182
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 ...
5
votes
1
answer
144
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 ...
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 ...
9
votes
3
answers
619
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 ...
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 ...