Skip to main content
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 8 years, 8 months
  • Last seen this week
8 votes
Accepted

Preservation under Substitution with Telescopes

7 votes
Accepted

Understanding the Beck-Chevalley Condition

6 votes
Accepted

Efficiently ordering typed programs

6 votes
Accepted

In the age of powerful AI, can all software be written using only tests?

5 votes

What category are Tagless Final Algebras final In?

4 votes
Accepted

What is the name of this algorithm on direct acyclic graph?

4 votes
Accepted

"Operations" in category theory that are not defined for arrows

3 votes
Accepted

Question about "Free-ness" of Free SCWF

3 votes

Kleisli-like category for applicatives?

3 votes
Accepted

What's the difference between Moggi's computational metalanguage and Moggi's lambda calculus?

3 votes

What's the point of stack judgement in CBPV?

2 votes
Accepted

Why Reflexive Graphs for Parametricity?

1 vote
Accepted

Are the `ArrowApply` and `Monad` typeclasses equivalent?