Barren structures and badly behaved monads on the category of sets.

Add to your list(s) Download to your calendar using vCal

• Nathan Bowler, Hamburg
• Tuesday 13 March 2012, 14:15-15:15
• MR5, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Julia Goedecke.

The theory of monads on Set has been hampered by a lack of good counterexamples – for example, although at first it was believed that the continuations monad might be nasty enough that there would be some monad with which it would have no tensor product, it was shown by Goncharov and Schroeder that this monad is uniform, and so it does have tensor products with all other monads on Set. There is a serious lack of examples of non-uniform monads, though one such monad (the wellorder monad) has been examined and shown to have no tensor product with the nonempty list monad.

I’ll present a new technique for building badly behaved monads on Set, by making use of large algebraic structures which don’t have small generating sets (I’ll call such structures barren). I’ll use this technique to show how a couple of interesting counterexamples can be built: a monad with no tensor product with the finite power set monad, and an N-indexed sequence of monads whose colimit is universe-dependent.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• MR5, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.