Skip to main content
MathOverflow
Jonathan Gallagher's user avatar
Jonathan Gallagher's user avatar
Jonathan Gallagher's user avatar
Jonathan Gallagher
  • Member for 10 years, 1 month
  • Last seen more than 3 years ago
Profile Activity
Stats
283
reputation
763
reached
1
answer
1
question
Communities
View all
About

Ask and ye shall find.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
2
Score
1
Posts
50
Posts %
2
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
16
When is the category of models of a limit theory a topos?
Sep 19, 2018
answer
2
Differential categories vs McBride's notion of derivative
Feb 1, 2017
Top network posts
View all network posts
23
Assisting Agda's termination checker
23
How to replace Kate regular expression
15
What is idiomatic use of arbitrary blocks in C?
14
For what and from where is Compiler-RT invoked?
14
Coq: Prop versus Set in Type(n)