Skip to main content
MathOverflow
Wolfgang Jeltsch's user avatar
Wolfgang Jeltsch's user avatar
Wolfgang Jeltsch's user avatar
Wolfgang Jeltsch
  • Member for 12 years, 4 months
  • Last seen more than 1 year ago
Profile Activity
Stats
951
reputation
8k
reached
2
answers
12
questions
Communities
View all
About

I’m passionate about functional programming, logic, type theory, category theory, and more.

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
10
bronze badges
Top tags
View all tags
2
Score
3
Posts
21
Posts %
0
Score
9
Posts
64
Posts %
0
Score
2
Posts
14
Posts %
0
Score
2
Posts
14
Posts %
0
Score
1
Posts
7
Posts %
0
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
question
9
Pushouts in the category of adjunctions
Jan 22, 2014
question
9
Is there a generalization of braided monoidal category without the isomorphism requirement?
Dec 17, 2022
question
8
Is there only one natural transformation from the product functor to itself?
Aug 27, 2012
question
8
Models of intuitionistic linear logic that reflect the resource interpretation
Jan 24, 2014
question
7
What is the right adjoint of the tensor product in a closed monoidal functor category?
Feb 1, 2016
question
7
When do powers and ends in functor categories act pointwise?
Feb 7, 2016
question
7
Does each monotonic endofunctor on the category of sets and relations preserve conversion?
Oct 9, 2018
question
6
product operation: name and notation
Aug 11, 2012
question
6
Are exponentials in categorical models of linear logic harmful?
Mar 1, 2013
question
5
Exponentials in functor categories
Aug 6, 2012
Top network posts
View all network posts
29
Shorthand way for assigning a single field in a record, while copying the rest of the fields?
23
Why choose LuaLaTeX over XeLaTeX?
18
How can I share my screen with Skype for Linux 5.3?
17
How can I make highlighting commands in .vimrc take effect immediately with Vim 7.4?
6
Why does traversing a large binary tree result in a stack overflow even when using continuation-passing style?