Skip to main content
MathOverflow
Ben MacAdam's user avatar
Ben MacAdam's user avatar
Ben MacAdam's user avatar
Ben MacAdam
  • Member for 9 years, 5 months
  • Last seen this week
  • Calgary, AB, Canada
Profile Activity
Stats
1,253
reputation
10k
reached
13
answers
18
questions
Communities
View all
About

I'm a graduate student in Computer Science at the University of Calgary, working under Robin Cockett. My research is on abstract differential geometry, which is a categorical abstraction of differential geometry.

Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
12
bronze badges
Top tags
View all tags
17
Score
23
Posts
74
Posts %
12
Score
4
Posts
13
Posts %
9
Score
7
Posts
23
Posts %
7
Score
3
Posts
10
Posts %
5
Score
3
Posts
10
Posts %
2
Score
5
Posts
16
Posts %
Top posts
View all questions and answers
answer
22
Most general definition of differentiation
Dec 4, 2019
question
7
Inducing a model structure using a cosimplicial object
Nov 24, 2020
question
6
Examples of connection preserving maps in differential geometry
May 21, 2020
question
6
Groupoids as models of symmetric simplicial sets
Jul 28, 2020
question
5
Relative completeness of a relative cocompletion of a subcategory
Apr 3, 2020
question
5
2-categorical constructions preserving/inducing Yoneda structures
May 19, 2020
answer
5
Intuition and analogue of Wraith axiom from synthetic differential geometry
Jan 18, 2020
answer
5
Is monadicity preserved by the underlying functor?
Jun 6, 2020
question
4
Weak enrichment and bicategories
Jun 17, 2019
question
3
The coEilenbeg-Moore category of an Eilenberg-Moore category
Sep 19, 2019
Top network posts
View all network posts
6
How can I set up Haskell stack to use the system compiler+libraries?