![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Dion Coumans, Nijmegen, Netherlands
Tuesday 06 November 2012, 14:15-15:15
On constructing free algebras and properties of free Heyting algebras
- 👤 Speaker: Dion Coumans, Nijmegen, Netherlands
- 📅 Date & Time: Tuesday 06 November 2012, 14:15 - 15:15
- 📍 Venue: MR5, Centre for Mathematical Sciences
Abstract
(joint work with Sam van Gool)
In this talk we give a general method for constructing free algebras, based on partial algebras. We show that, for certain varieties V, the finitely generated free V algebras may be described as the colimit of a chain of partial algebras that is obtained by repeated application of a functor. We give sufficient conditions on V for our method to apply and use duality theory to show that our method applies in particular to certain classes of modal algebras.
In the second part of the talk we focus on Heyting algebras. N. Bezhanishvilli and M. Gehrke have given a description of finitely generated free Heyting algebras as a colimit of finite algebras. We discuss some current research that uses this description to study properties of free Heyting algebras. In particular, we relate this construction to the universal model in intuitionistic logic.
Series This talk is part of the Category Theory Seminar series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Category Theory Seminar
- CMS Events
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- DPMMS Pure Maths Seminar
- Hanchen DaDaDash
- Interested Talks
- MR5, Centre for Mathematical Sciences
- ndb35's list
- School of Physical Sciences
- yk373's list
Note: Ex-directory lists are not shown.