Skip to main content
Ben Millwood's user avatar
Ben Millwood's user avatar
Ben Millwood's user avatar
Ben Millwood
  • Member for 12 years, 1 month
  • Last seen more than a week ago
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
703 views

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

11 votes
1 answer
814 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
598 views

Why are measures real-valued?

9 votes
2 answers
425 views

Does induction for a functor algebra imply it is initial?

8 votes
2 answers
326 views

Finding a functor satisfying a recursive equation

7 votes
2 answers
386 views

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

6 votes
0 answers
507 views

Connection between codata and greatest fixed points

6 votes
1 answer
306 views

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

6 votes
1 answer
374 views

Is the continuation monad terminal?

4 votes
1 answer
132 views

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

3 votes
3 answers
763 views

Does a Kleisli triple need naturality conditions?