COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Category Theory Seminar > Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory

## Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theoryAdd to your list(s) Download to your calendar using vCal - Rory Lucyshyn-Wright. University of Cambridge
- Tuesday 20 January 2015, 14:15-15:30
- MR5, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Dr Ignacio Lopez Franco. Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density in normed vector spaces, but also the notions of sheafification, closure, and density with respect to a Lawvere-Tierney topology, are instances of the given abstract notions. The process of T-completion is equally the enriched idempotent monad associated to T (which we call the idempotent core of T), and we show that it exists as soon as every morphism in B factors as a T-dense morphism followed by a T-closed M-embedding. The latter hypothesis is satisfied as soon as B has certain pullbacks as well as wide intersections of M-embeddings. Hence the resulting theorem on the existence of the idempotent core of an enriched monad entails Fakir’s existence result in the non-enriched case, as well as adjoint functor factorization results of Applegate-Tierney and Day. 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. |
## Other listsEcology Lunchtime Series Mr Keynes and the Moderns RSC South East England Regional Meeting CUID Engineering Department Computing Seminars Betty & Gordon Moore Library Events## Other talksMissing friars: rethinking late medieval medicine Intrinsically Motivating Teachers;STIR's use of Data Driven Insight to Iterate, Pivot and (where necessary) Fail Fast CANCELLED - Mathematical methods in reacting flows: From spectral to Lyapunov analysis A compositional approach to scalable statistical modelling and computation Malaria’s Time Keeping |