Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger
  • Member for 14 years, 5 months
  • Last seen this week
3 votes
Accepted

What is the proper name for "compact closed" multiplicative intuitionistic linear logic?

3 votes

What is the status of (universal) algebra in type theory?

3 votes

Can a typing judgment admit essentially different derivations?

3 votes

What do I call type theory without Curry-Howard?

3 votes
Accepted

Set of functions is not a bifunctor on Rel

3 votes
Accepted

Functors in Isbell duality exchange $f^*a$ and $f_*a$

3 votes

The skew monoidal structure induced by a functor

2 votes

The skew monoidal structure induced by a functor

2 votes

Necessity of shapes for coherence results in category theory

2 votes

Can a typing judgment admit essentially different derivations?

2 votes

Is there any proof assistant based on first-order logic?

2 votes

Which great mathematicians had great political commitments?

1 vote

Table of planar connected graphs

0 votes

Classification of tangles?

0 votes

Examples of theorems misapplied to non-mathematical contexts

1
2