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 > Talks on Category Theory > The Fundamental Theorem and Cauchy Completeness

## The Fundamental Theorem and Cauchy CompletenessAdd to your list(s) Download to your calendar using vCal - Filip Bár (University of Cambridge)
- Monday 26 November 2012, 17:00-18:00
- MR12.
If you have a question about this talk, please contact Filip Bár. We will formulate and proof the Fundamental Theorem of Category Theory. This theorem (and related theorems) lie at the heart of many applications of Category Theory to other fields of mathematics. It is also an important technical tool in various subfields of Category Theory itself. We shall present some of the examples and point out where we have encountered the Fundamental Theorem in secret on the example sheets already. The fundamental theorem stresses once more the importance of functor categories of the form [C If there is time, we shall consider metric spaces as (enriched) categories and sketch why the Cauchy completion of a metric space considered as a category is the familiar Cauchy completion of a metric spaces to a complete metric space as encountered in Analysis, Functional Analysis and Topology. This talk is part of the Talks on Category Theory series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Special Lecture Series: THE NATURAL COOK: A THEORY OF HUMAN EVOLUTION Spanish & Portuguese Type the title of a new list here CEB Career Talks## Other talksSustainability of livestock production: water, welfare and woodland How to Design a 21st Century Economy - with Kate Raworth How to know Africa(s) in an age of youth hybridity Deterministic RBF Surrogate Methods for Uncertainty Quantification, Global Optimization and Parallel HPC Applications Modelling discontinuities in simulator output using Voronoi tessellations Virtual bargaining as a micro-foundation for communication Statistical Methods in Pre- and Clinical Drug Development: Tumour Growth-Inhibition Model Example Molecular mechanisms of cardiomyopathies in patients with severe non-ischemic heart failure 70th Anniversary Celebration Active bacterial suspensions: from individual effort to team work St Johns Linacre Lecture 2018: Professor Sir Peter Ratcliffe FRS |