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 > Constructive conceptual completeness for regular logic

## Constructive conceptual completeness for regular logicAdd to your list(s) Download to your calendar using vCal - Panagis Karazeris (University of Patras)
- Tuesday 12 January 2016, 14:15-15:15
- MR4, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Zhen Lin Low. Conceptual completeness for coherent categories (due to M. Makkai and G. Reyes) says that if a coherent functor F: C → D induces an equivalence COH → COH between their categories of Set-valued models, then the induced functor P(F): P© → P(D) between the associated pretoposes is an equivalence. Their arguments are model-theoretic (involving compactness and the method of diagrams). Later A. Pitts gave a constructive version of that theorem, allowing models in (an adequate class of) toposes (and relaxing the notion of equivalence to mean fully faithful and essentially surjective on objects). A similar result by Makkai for regular logic says that if a regular functor F: C → D induces an equivalence REG → REG , then the induced E(F): E© → E(D) between the respective effectivizations of the regular categories is an equivalence. The latter comes as a corollary to a more general duality result of his that, again, uses model-theoretic methods. We exploit the result of Pitts, along with a (seemingly) hitherto unnoticed property of effectivization, to give a direct and constructive proof of that result of Makkai. 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
- MR4, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsTracing Human Ancestry, using DNA Cambridge Finance Seminar Series Semitic Philology Lecture Judge Business Club Financial Economcs Series CRASSH Collaboration Skills Initiative## Other talksSt Catharine’s Political Economy Seminar - ‘Bank Credit Rating Changes, Capital Structure Adjustments and Lending’ by Claudia Girardone Repetitive Behavior and Restricted Interests: Developmental, Genetic, and Neural Correlates Designing Active Macroscopic Heat Engines Plastics in the Ocean: Challenges and Solutions |