Skip to main content

Questions tagged [category-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
32 votes
1 answer
4k 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
  • 77.6k
15 votes
3 answers
2k 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
2 votes
0 answers
203 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
  • 309