Skip to main content
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
9 votes
1 answer
666 views

Pushouts in the category of adjunctions

9 votes
2 answers
530 views

Is there a generalization of braided monoidal category without the isomorphism requirement?

8 votes
3 answers
662 views

Models of intuitionistic linear logic that reflect the resource interpretation

8 votes
2 answers
1k views

Is there only one natural transformation from the product functor to itself?

7 votes
1 answer
577 views

What is the right adjoint of the tensor product in a closed monoidal functor category?

7 votes
1 answer
161 views

When do powers and ends in functor categories act pointwise?

7 votes
0 answers
157 views

Does each monotonic endofunctor on the category of sets and relations preserve conversion?

6 votes
2 answers
707 views

Are exponentials in categorical models of linear logic harmful?

6 votes
1 answer
243 views

product operation: name and notation

5 votes
2 answers
3k views

Exponentials in functor categories

3 votes
1 answer
193 views

What is the term for two figures being congruent and of same orientation?

2 votes
0 answers
148 views

Is there a name for relations that are compatible with composition and union?