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

## Dagger limitsAdd to your list(s) Download to your calendar using vCal - Martti Karvonen (University of Edinburgh)
- Tuesday 18 September 2018, 14:15-15:15
- MR4, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Tamara von Glehn. A dagger category is a category equipped with a dagger: a contravariant involutive identity-on-objects endofunctor. Such categories are used to model quantum computing and reversible computing, amongst others. The philosophy when working with dagger categories is that all structure in sight should cooperate with the dagger. This causes dagger category theory to differ in many ways from ordinary category theory. Standard theorems have dagger analogues once one figures out what “cooperation with the dagger” means for each concept, but often this is not just an application of formal 2-categorical machinery or a passage to (co)free dagger categories. We discuss limits in dagger categories. To cooperate with the dagger, limits in dagger categories should be defined up to an unique unitary (instead of only up to iso), that is, an isomorphism whose inverse is its dagger. We exhibit a definition that achieves this and generalises known cases of dagger limits. Moreover, we discuss connections to polar decomposition, applications to ordinary category theory and time permitting, address commutativity of dagger limits with dagger colimits. 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
- MR4, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
Note that ex-directory lists are not shown. |
## Other listsNorth British Functional Analysis (NBFAS) HEP web page aggregator Churchill Archives Centre## Other talksANOVA of balanced multi-factorial designs: between subject designs, and single subject studies Why do we have three families of quarks and leptons? ---- Supersymmetric E_7 nonlinear sigma model So Many Decisions, So Much Uncertainty: Research Needs to Assist with Managing and Adapting to Climate and Flood Risk Changes Post-hoc tests, multiple comparisons, contrasts and handling interactions Anti-cancer drugs for transmissible cancers in Tasmanian devils Antarctic Mosaic: Integrating Science and History in the McMurdo Dry Valleys |