MathOverflow
Timo's user avatar
Timo's user avatar
Timo's user avatar
Timo
  • Member for 4 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
399
reputation
2k
reached
1
answer
8
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
0
Score
9
Posts
100
Posts %
0
Score
5
Posts
56
Posts %
0
Score
4
Posts
44
Posts %
0
Score
3
Posts
33
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
8
Isbell duality between algebras and sheaves
Dec 19, 2022
question
6
Are infinitary monads monadic?
Jun 10, 2022
question
5
When is the topos of algebras well-pointed?
Nov 29, 2022
question
3
Arithmetic theorems explainable to a high schooler using $\infty$-category theory in a crucial way
Apr 25, 2022
question
2
Well-behaved monad quotients
May 17, 2022
question
2
Cat as a bicategory of monads over another category
Jan 4
question
0
Categorical construction of polynomial functors; how do we go from C to its slice?
Dec 14, 2022
question
0
Morphism factoring through a subobject
Dec 18, 2022
answer
0
Are infinitary monads monadic?
Jun 11, 2022
Top network posts
View all network posts
8
Type theory and fixed points of datatypes
7
Strongly normalizing type theory beyond induction-recursion
7
Does ST$\lambda$C equal to simple type theory?
7
Can you build W-types out of natural numbers predicatively?
7
Proving strict positivity in Agda

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.