Ben Millwood's user avatar
Ben Millwood's user avatar
Ben Millwood's user avatar
Ben Millwood
  • Member for 11 years, 10 months
  • Last seen this week
21 votes
2 answers
2k views

Do the adjoint functor theorems usefully dualise?

15 votes
1 answer
3k views

Is "cofunctor" an accepted term for contravariant functors?

12 votes
4 answers
673 views

Does the unique map on the zero space have determinant 1?

11 votes
1 answer
810 views

Can exponentials be distinct from hom-functors in enriched categories?

11 votes
2 answers
2k views

Using Replacement to prove transitive closure is a set without recursion

9 votes
2 answers
577 views

Why are measures real-valued?

9 votes
2 answers
421 views

Does induction for a functor algebra imply it is initial?

8 votes
2 answers
325 views

Finding a functor satisfying a recursive equation

7 votes
2 answers
381 views

Internalising the functor action on morphisms (e.g. to exponential objects)

7 votes
0 answers
502 views

Connection between codata and greatest fixed points

6 votes
1 answer
369 views

Is the continuation monad terminal?

5 votes
1 answer
291 views

Does the concept of "cograph of a function" have natural generalisations / extensions?

4 votes
1 answer
130 views

Can I assign a gravity field to an infinite grid of point masses?

3 votes
3 answers
748 views

Does a Kleisli triple need naturality conditions?