When category theory and set theory meet

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
was there an attempt to unite between those two fields?
 
Mathematics news on Phys.org
I don't know a whole lot about category theory, but I do know that set theory is subsumed by category theory. (And what isn't? I can't think of a more abstract or overarching theory than category theory.) Basic Category Theory for Computer Scientists has this to say:

"The category Set has sets as objects and total functions between sets as arrows. Composition of arrows is set-theoretic function composition. Identity arrows are identity functions."

So I guess the short answer to your question is "yes."
 

Thread 'What Exactly is Dirac’s Delta Function? - Insight'

Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
View full post »

Thread 'Fermat's Last Theorem'

Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
View full post »

Thread 'Useless continued fraction for 1'

I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.
View full post »

Similar threads

I Category Theory and the Riemann Hypothesis
Replies
2
Views
2K
I System to represent objects in Mathematics
Replies
38
Views
4K
A The original definition of Category
Replies
45
Views
4K
MHB Is Theorem 5.2 in SET THEORY AND LOGIC True or False?
Replies
2
Views
1K
A Are Type Theory and Category Theory Viable Alternatives to Set Theory?
Replies
3
Views
1K
MHB Prove: 2ε{a,2,b} in Set Theory
Replies
5
Views
2K
B Can someone answer this doubt I have on Set theory?
Replies
2
Views
1K
A The abc conjecture and Virasoro algebra
Replies
1
Views
2K
Possible research directions for a beginner in TQFT
Replies
4
Views
2K
I Functor between the category of Hilbert Space and the category of sets
Replies
3
Views
1K

Hot Threads

Recent Insights

Back
Top