Mathematics
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly
  • Member for 11 years, 9 months
  • Last seen this week
Profile Activity
Stats
20,986
reputation
562k
reached
346
answers
761
questions
Communities
View all
About

Amateur mathematician. Software developer.

“[Mathematics is] only real when shared” ― Jon Krakauer, Into the Wild

My new favorite book:

Theories, Sites, Toposes; by Olivia Caramello

It is unbelievably readable for modern graduate students or those familiar with basic Category Theory. This is in contrast to the difficulty one has when they start up Johnstone's books. Olivia Caramello is a super hero of mathematics.

Badges
View all badges
7
gold badges
47
silver badges
103
bronze badges
Top tags
View all tags
73
Score
333
Posts
30
Posts %
59
Score
88
Posts
8
Posts %
33
Score
137
Posts
12
Posts %
24
Score
111
Posts
10
Posts %
21
Score
91
Posts
8
Posts %
13
Score
70
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
64
Is it not effective to learn math top-down?
Aug 5, 2013
answer
45
What is integration by parts, really?
Jun 9, 2014
question
42
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
Jan 5, 2022
question
29
Group formed on Parabola similarly to how an Elliptic curve forms a group (by drawing lines, circles, intersecting, or taking tangent lines)
Sep 19
question
24
Every natural number is covered by consecutive numbers that sum to a prime power.
Jan 12, 2020
question
22
Are all n-ary operators simply compositions of binary operators?
Mar 5, 2012
answer
19
$\partial (A \cap B) = \partial A \cap \partial B $?
Oct 21, 2013
question
19
A contractible space is path connected.
Mar 17, 2014
question
18
Convergence of series implies convergence of Cesaro Mean. [duplicate]
Oct 4, 2013
question
17
Online reference book for *implementing* concepts in type theory.
Dec 7, 2019
Top Meta posts
5
0
20
Is there a way to draw a graph (vertices & edges) in LaTeX on this website?
16
The unanswered questions ordering seems wrong
12
Ask Question app should have side-by-side view option
5
How does MSE do live previews of MathJax?
Top network posts
View all network posts
18
What is the purpose of deepcopy's second parameter, memo?
10
Please shed light on argument about weeding
9
Raised bed around tree. Do I need to protect the trunk?
9
Tilling soil around a tree for a raised bed. How much is safe for tree?
9
Can an Earley Parser be made into a fuzzy parser similar to the Levenshtein Automata Algo for DFA?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.