Skip to main content
MathOverflow
Johan Thiborg-Ericson's user avatar
Johan Thiborg-Ericson's user avatar
Johan Thiborg-Ericson's user avatar
Johan Thiborg-Ericson
  • Member for 3 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
527
reputation
2k
reached
1
answer
14
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
3
Score
7
Posts
47
Posts %
3
Score
6
Posts
40
Posts %
3
Score
4
Posts
27
Posts %
3
Score
2
Posts
13
Posts %
0
Score
10
Posts
67
Posts %
0
Score
6
Posts
40
Posts %
Top posts
View all questions and answers
question
8
Does the morphism of composition have some universal property?
Jun 16, 2021
question
7
Is lambda calculus polymorphism a type of generalized monad?
Aug 7, 2023
question
4
Is there a faithful functor from the freely generated bicartesian closed category to $\mathbf{Set}$?
Oct 27, 2023
question
4
What is nLab's yoneda-like argument of dinatural transformation's bijection with natural transformations $\hom(x, y) \to \hom(F(y, x), G(x, y))$?
Jul 22
question
3
Where can I learn about Cartesian closed functors between categories of simply typed lambda calculus?
Aug 30, 2023
question
3
A new(?) kind of 2-adjunction for relating cartesian closed functors using dinatural hexagons
Jan 9
answer
3
Is lambda calculus polymorphism a type of generalized monad?
Aug 8, 2023
question
2
Are there "2-Lawvere theories" with 2-categories and 2-functors and models in $\mathbf{Cat}$?
Aug 31, 2023
question
2
Reference request for dinatural transformations arising from free Cartesian closed categories
Nov 28, 2023
question
1
Second order lambda calculus as dinatural transformations in some category of CCCs
Aug 3, 2023
Top network posts
View all network posts
12
What's the best way to write e-mail addresses?