Dion Coumans' homepage

I am a PhD-student under the supervision of Mai Gehrke and Ieke Moerdijk at the Radboud University Nijmegen in the Algebra & Logic group.

Contact details

Radboud Universiteit Nijmegen
FNWI, IMAPP
P.O. Box 9010
6500 GL Nijmegen
The Netherlands

You can visit me at:
Huygensgebouw
Room HG03.065
Heyendaalseweg 135
6525 AJ Nijmegen

Or contact me by phone or mail:
T: +31-(0)24-3653220
E: coumans at math.ru.nl

Research

My current research interest is in duality theory, relational semantics and categorical logic. In particular, I am working on extending techniques used in the algebraic study of propositional logics to the categorical setting, so that that they can be applied in the study of predicate logics.

Upcoming and recent events

• Radboud Category Theory Seminar.
• Seminaire Itinerant de Categories, 19 May, Louvain-la-Neuve.
• Topological Methods in Logic III, 23-27 July, Tbilisi.
• Duality Theory in Algebra, Logic and Computer Science, 15-17 August, Oxford.

Scientific texts

• Generalising canonical extension to the categorical setting [preprint].
  
• Relational semantics for full linear logic, with Mai Gehrke and Lorijn van Rooijen, to appear in the proceedings of Workshop on logic, categories and semantics [preprint].
  
• On generalizing free algebras for a functor, with Sam van Gool, to appear in Journal of Logic and Computation [preprint].
  
• Relational semantics for a fragment of linear logic, to appear in the proceedings of PhDs in Logic III [preprint].
  
• Constructing the Lindenbaum algebra for a logic step-by-step using duality, with Sam van Gool. Extended version of a paper by Sam van Gool, which is to appear in the proceedings of PhDs in Logic III.
  
• Scalars, monads and categories, with Bart Jacobs, Arxiv preprint.
  
• Distributive lattice-structured ontologies, with Hans Bruun and Mai Gehrke. In: the proceedings of CALCO 2009, LNCS, volume 5728, p. 267-283.
  
• The right choice? - An intuitionistic exploration of Zermelo's axiom, Master's thesis at Radboud University Nijmegen under supervision of Wim Veldman.
  
• Oneindige spelen, Bachelor's thesis at Radboud University Nijmegen under supervision of Wim Veldman [in Dutch].
  

Other texts

• Positiestelsels, rekenen en streepjescodes, with Mai Gehrke and Lorijn van Rooijen, material for high school students [in Dutch].
  
• Wiskundetoernooi 2008: wat kun je nu eigenlijk met wiskunde?, with Mirte Dekkers and Klaas Landsman. In: Nieuwe Wiskrant 28, 2008, p. 12-14 [in Dutch].
  
• A random walk down Wall Street, with Janneke van den Boomen, Ruben van den Brink, Klaas Landsman en Daan Wanrooy. In: Nieuw Archief voor Wiskunde 5/9, 2008, p. 18-23 [in Dutch].
  

Talks

• Generalizing canonical extension to the categorical setting, PSSL 93, Cambridge (April 2012) [slides]
  
• Generalizing canonical extension to the categorical setting, DIAMANT symposium, Elspeet (November 2011) [slides]
  
• On generalizing canonical extension, Radboud Category Theory Seminar, Nijmegen (November 2011) [slides]
  
• Generalizing canonical extension to the categorical setting, Workshop on Aspects of Duality Theory, Oxford (August 2011) [slides]
  
• Free algebras via a functor on partial algebras, Topology, Algebra and Categories in Logic (TACL), Marseille (July 2011) [slides]
  
• Canonical extension of coherent categories, Topology, Algebra and Categories in Logic (TACL), Marseille (July 2011) [slides]
  
• Defining a notion of canonical extension for coherent categories, McGill Category theory seminar, Montreal (March 2011)
  
• Relational semantics for a fragment of linear logic, PhDs in Logic III, Brussels (February 2011) [slides]
  
• Weet jij het zeker?, Science Symposium, Raayland College Venray (January 2011) [slides]
  
• Finitely generated free algebras and duality DIAMANT/EIDMA Symposium, Lunteren (November 2010) [slides]
  
• Semantics and duality (joint talk with Mai Gehrke) Workshop on logic, categories and semantics, Bordeaux (November 2010) [slides]
  
• Duality for classical first order logic, PhD-colloquium, Nijmegen (June 2010) [slides]
  
• Duality for classical first order logic, Mathematical Logic in the Netherlands, Utrecht (May 2010) [slides]
  
• Scalars, monads and categories, groupe de travail Catégories supérieures, polygraphes et homotopie, Paris (March 2010)
  
• Positiestelsels, rekenen en streepjescodes, OMO-docentendag, Tilburg (November 2009) [slides]
  
• Distributive lattice-structures ontologies, Conference on Algebra and Coalgebra in Computer Science, Udine (September 2009) [slides]
  
• Knowledge Representation - een toepassing van dualiteitentheorie, PhD-colloquium, Nijmegen (March 2009)
  
• Distributive lattice-structures ontologies, Algebra | Coalgebra seminar, Amsterdam (March 2009)
  

Teaching

I have been / will be teaching the courses

• Analyse 1 - spring 2012

I have been teaching exercises classes on

• Getallen - fall 2011
• Getallen - fall 2010
• Lattice Theory - fall 2009
• Universal Algebras - spring 2009