|
Talk in the Internal Seminar at Leicester |
|
Tuesday, 24 February 2009 10:53 |
|
Last week Thursday, February 19th, I delivered my talk in the internal seminar at Leicester. I had planned to give a technical outline of the proof of the Complementation Lemma for Coalgebra Automata from my paper with Yde Venema, including the various results in Coalgebraic Logic, Game Theory and Automata Theory that contributed to the paper, but then managed only the two third of it. As there have been requests for further details I am planning for an extended seminar on the proof at Leicester in the next month.
|
|
Last Updated on Monday, 27 July 2009 18:48 |
|
Read more...
|
|
|
Complementation Lemma for Coalgebra Automata |
|
Tuesday, 24 February 2009 10:37 |
|
Concluding the research we conducted during my visit to the ILLC in Amsterdam, my former supervisor Yde Venema and I proved the complementation lemma for coalgebra automata - a property left open in previous works of Yde and Clemens Kupke. In particular we showed that for every automaton A recognising T-coalgebras (T preserves weak pullbacks and preserves finite sets) there is an automaton A of the same type accepting precisely the pointed coalgebras rejected by A. We submitted the paper. Once it passed the reviewing process, I will go into the details of it.
|
|
Last Updated on Tuesday, 24 February 2009 11:41 |
|
Change of Topic for my AC Seminar Talk |
|
Sunday, 09 November 2008 17:21 |
|
Admittedly, a topic in enriched presheaves requires familiarity with at least the foundational notions in enriched category theory. A single two hour seminar will not allow for a gentle introduction, so that I have decided to down-scale the topic. New Title: Morita Duality and Logics for Coalgebras If you are disappointed and would like to learn more about the Morita duality for enriched presheaves, feel free to invite me or await the upcoming publication.
|
|
Last Updated on Sunday, 09 November 2008 17:33 |
|
Talk in the AC Seminar at the ILLC in Amsterdam |
|
Thursday, 06 November 2008 17:09 |
|
On Wednesday, 12 November, I will give a talk in Algebra|Coalgebra seminar at the ILLC in Amsterdam. There I will define the notion of enriched presheaves and define a Morita duality, which I argue to be suitable for the construction of logics for coalgebras in enriched categories.
|
|
Last Updated on Monday, 27 July 2009 18:48 |
|
Read more...
|
|
Research Visit to the ILLC |
|
Saturday, 28 June 2008 00:00 |
|
From September to November 2008 I am going to visit the ILLC in Amsterdam to work with Yde Venema on coalgebra automata.
|
|
Last Updated on Friday, 26 September 2008 12:10 |
|
|
|
|
<< Start < Prev 1 2 3 Next > End >>
|
|
Page 2 of 3 |
