Isar Stubbe

Professor at the Laboratory for Pure and Applied Mathematics of the Université du Littoral-Côte d'Opale.

Postal address:
     Isar Stubbe
     Laboratoire de Mathématiques Pures et Appliquées
     Université du Littoral-Côte d'Opale
     50, rue F. Buisson - CS 80699
     62228 Calais Cedex
     France
Phone: +33 3 21 46 55 85
E-Mail: isar.stubbe [[at]] univ-littoral.fr



Bio - Publications - Conferences - Leaves - Responsabilities - Courses/Cours

Bio

July 1, 1998 : "Licentiaat in de wiskunde" with dissertation entitled "Quantaloids of operational resolutions and state transitions", supervisors: D. Aerts and B. Coecke, Vrije Universiteit Brussel, Belgium.

1998 - 2005 : Research and teaching assistant, Université Catholique de Louvain, Belgium.

July 1, 1999 : "Diplôme d'études approfondies en mathématiques" (DEA) with dissertation entitled "Physics and Categories", supervisor: F. Borceux, Université Catholique de Louvain, Belgium.

November 12, 2003 : "Docteur en mathématiques" (PhD) with dissertation entitled "Categorical structures enriched in a quantaloid: categories and semicategories", supervisor: F. Borceux, Université Catholique de Louvain, Belgium. [download pdf]

2005 - 2006 : Post-doctoral researcher, Centre for Mathematics of the University of Coimbra (CMUC), Portugal.

2006 - 2009 : Post-doctoral Fellow of the Flemish Research Foundation (FWO), Universiteit Antwerpen, Belgium.

2009 - 2024 : Maître de Conférences, Université du Littoral-Côte d'Opale, France.

December 12, 2011 : "Habilitation à diriger des recherches" (HDR) with dissertation entitled "On quantaloid-enriched categories in general, and sheaves on a quantaloid in particular", Université du Littoral-Côte d'Opale, France. [download pdf]

2013 - 2014 : Sabbatical leave (Délégation au CNRS, Congé pour Recherches)

2024 - present : Professeur des Universités, Université du Littoral-Côte d'Opale, France.

Publications and preprints [back to top of page]

Isar Stubbe on ORCID

Isar Stubbe on HAL

Isar Stubbe on arXiv

Isar Stubbe on Google Scholar

Isar Stubbe on Research Gate

Isar Stubbe on MathSciNet (restricted access)

Isar Stubbe on Zentralblatt (restricted access)

(All PDFs provided below are preprints. The authoritative versions of these papers are always the published ones.)

1998 : (with H. Amira and B. Coecke) "How quantales emerge by introducing induction within the operational approach", Helvetica Physical Acta 71, 554-572. [download pdf] [journal's web site]

1999 : "Physics and Categories: The Geneva School approach to the axiomatic foundations of physics", excerpt from DEA dissertation. [download pdf]

1999 : (with B. Coecke) "Operational resolutions and state transitions in a categorical setting", Foundations of Physics Letters 12, 29-49. [download pdf] [journal's web site]

1999 : (with B. Coecke) "Duality of quantales emerging from an operational resolution", International Journal of Theoretical Physics 38, 3269-3281. [download pdf] [journal's web site]

2000 : (with B. Coecke) "State transitions as morphisms for complete lattices", International Journal of Theoretical Physics 39, 601-610. [download pdf] [journal's web site]

2000 : (with F. Borceux) "Short introduction to enriched categories", chapter in: Current research in operational quantum logic: algebras, categories, languages (edited by B. Coecke, D. Moore and A. Wilce), Fundamental Theories of Physics 111, Kluwer Academic Publishers, 167-194. [download pdf] [publisher's web site]

2001 : "Logique Quantique Opérationelle et Catégories", Compte-Rendu du Séminaire Itinérant de Catégories 18. [download pdf]

2001 : (with B. Coecke and D. Moore) "Quantaloids describing propagation of physical properties", Foundations of Physics Letters 14, 133-145. [download pdf] [journal's web site]

2003 : (with S. Sourbron, R. Luypaert and M. Osteaux) "Discretising the convolution product in DCI-MRI based quantification of CBF", Magnetic Resonance Materials in Physics, Biology and Medicine (MAGMA) 16, s134-s135. [journal's web site]

2003 : "Introduction to 'Categorical structures enriched in a quantaloid: categories and semicategories"', excerpt from PhD thesis. [download pdf]

2005 : "Categorical structures enriched in a quantaloid: categories, distributors, functors", Theory and Applications of Categories 14, 1-45. [download pdf] [journal's web site]

2005 : "Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories", Cahiers de Topologie et Géométrie Différentielle Catégoriques 46, 99-121. [download pdf] [journal's web site]

2005 : "Categorical structures enriched in a quantaloid: orders and ideals over a base quantaloid", Applied Categorical Structures 13, 235-255. [download pdf] [journal's web site]

2005 : "The canonical topology on a meet-semilattice", International Journal of Theoretical Physics 44, 2283-2293. [download pdf] [journal's web site]

2006 : "Towards 'dynamic domains': totally continuous cocomplete Q-categories (Extended Abstract)", Electronic Notes in Theoretical Computer Science 155, 617-634. [download pdf] [journal's web site]

2006 : "Cocomplete Q-categories are precisely the injectives wrt. fully faithful functors", note, 2 pages. [download pdf]

2006 : "Categorical structures enriched in a quantaloid: tensored and cotensored categories", Theory and Applications of Categories 16, 283-306. [download pdf] [journal's web site]

2007 : "Towards 'dynamic domains': totally continuous cocomplete Q-categories", Theoretical Computer Science 373, 142-160. [download pdf] [journal's web site]

2007 : "Q-modules are Q-suplattices", Theory and Applications of Categories 19, 50-60. [download pdf] [journal's web site]

2007 : (with B. Van Steirteghem) "Propositional systems, Hilbert lattices and generalized Hilbert spaces", chapter in: Handbook of Quantum Logic and Quantum Structures: Quantum Structures (edited by K. Engesser, D. M. Gabbay and D. Lehmann), Elsevier, 477-524. [download pdf] [publisher's web site]

2009 : (with M. M. Clementino and D. Hofmann) "Exponentiable functors between quantaloid-enriched categories", Applied Categorical Structures 17, 91-101. [download pdf] [journal's web site]

2009 : (with H. Heymans) "On principally generated Q-modules in general, and skew local homeomorphisms in particular", Annals of Pure and Applied Logic 161, 43-65. [download pdf] [journal's web site]

2009 : (with H. Heymans) "Modules on involutive quantales: canonical Hilbert structure, applications to sheaves", Order 26, 177-196. [download pdf] [journal's web site]

2010 : "'Hausdorff distance' via conical cocompletion", Cahiers de Topologie et Géométrie Différentielle Catégoriques 51, 51-76. [download pdf] [journal's web site]

2010 : "Symmetry and Cauchy-completion (Extended abstract)", Compte-Rendu du Séminaire Itinérant de Catégories, LAMFA-CNRS UMR 6140, Université de Picardie Jules Verne, Amiens. [download pdf]

2011 : (with D. Hofmann) "Towards Stone duality for topological theories", Topology and its Applications 158, 913-925. [download pdf] [journal's web site]

2011 : (with H. Heymans) "Symmetry and Cauchy completion of quantaloid-enriched categories", Theory and Applications of Categories 25, 276-294. [download pdf] [journal's web site]

2012 : (with H. Heymans) "Elementary characterisation of quantaloids of closed cribles", Journal of Pure and Applied Algebra 216, 1952-1960. [download pdf] [journal's web site]

2012 : (with H. Heymans) "Grothendieck quantales for allegories of enriched categories", Bulletin of the Belgian Mathematical Society 19, 861-890. [download pdf] [journal's web site]

2014 : "An introduction to quantaloid-enriched categories", Fuzzy Sets and Systems 256, 95-116. [download pdf] [journal's web site]

2017 : "The double power monad is the composite power monad", Fuzzy Sets and Systems 313, 25-42. [download pdf] [journal's web site]

2018 : (with D. Hofmann) "Topology from enrichment: the curious case of partial metrics", Cahiers de Topologie et Géométrie Différentielle Catégoriques 59, 307-353. [download pdf] [journal's web site].

2023 : (with A. Benkhadra) "A logical analysis of fixpoint theorems", Cahiers de Topologie et Géométrie Différentielle Catégoriques 64, 97-121. [download pdf] [journal's web site]

2023 : (with M. Liu and S. Han) "Ideals and continuity in quantaloid-enriched categories", Theory and Applications of Categories 39, 687-713. [download pdf] [journal's web site]

Conferences, workshops and seminars [back to top of page]

June 1998 : Talk : "Operational resolutions and state transitions in a quantaloid setting", International workshop on current research in operational quantum logic, Brussels, Belgium.

September 1998 : Talk : "A duality of quantales describing structure preservance for generalized states", fourth biannual IQSA meeting, Liptovski Jan, Slovakia.

Early May 1999 : Talk : "On resolutions, state/property transitions, and the enriched categories they constitute", International workshop on current research in operational quantum logic, Brussels, Belgium.

End of May 1999 : Talk : (with B. Coecke (speaker) and D. Moore) "Dualities of quantaloids describing propagation of physical properties", Workshop on categorical methods in algebra and topology, organized by F. Borceux in Nassogne, Belgium.

July 1999 : Talk : (with B. Coecke (speaker) and D. Moore) "Quantaloids describing propagation of physical properties", Category Theory 99, Coimbra, Portugal.

August 1999 : Talk : "Why the category of sup-lattices may be of interest to physicists", Australian category theory seminar, Sydney, Australia.

October 1999 : Participation : 71th meeting of the Peripatetic Seminar on Sheaves and Logic, Louvain-la-Neuve, Belgium.

November 1999 : Talk : "The Geneva School approach to the axiomatic foundations of physics", Séminaire des doctorants, Dépt. de Mathématique de l'UCL, Belgique.

April 2000 : Co-organization : Peripatetic seminar on sheaves and logic 72, a.ka. Category Theory Symposium as satellite to the International workshop on current research in operational quantum logic, Brussels, Belgium.

April 2000 : Talk : "Categorical methods in operational quantum logic", Peripatetic seminar on sheaves and logic 72, a.ka. Category Theory Symposium as satellite to the International workshop on current research in operational quantum logic, Brussels, Belgium.

July 2000 : Poster : (with B. Coecke and D. Moore) "(Categorical) Quantum Process Semantics", Category Theory 2000, Como, Italy. [www]

Early November 2000 : Participation : 74th meeting of the Paripathetic Seminar on Sheaves and Logic, Cambridge, UK.

November 2000 : Talk : "Logique Quantique Opérationelle et Catégories", Séminaire Itinérant de Catégories, Université de Picardie-Jules Verne, Amiens, France. [www]

April 2001 : Talk : "A corestriction of the Yoneda embedding as frame completion of a bounded poset with finite meets, with an appication to quantum logic", sixth biannual IQSA meeting, Cesenatico, Italy. [see elsewhere on this page for notes on this lecture: "The canonical topology on a meet-semilattice"]

End of May 2001 : Participation : Workshop on semi-abelian categories, organized by F. Borceux at Haute-Bodeux, Belgium.

October 2001 : Talk : "Si une catégorie cartésienne fermée est *-autonome pour cette même structure monoïdale, elle est une algèbre de Boole", Séminaire des doctorants, Département de Mathématique de l'UCL, Belgique.

November 2001 : Talk : "What can we certainly say about what may possibly be? The operational resolution, quantales of induced state/property transitions, and causal duality as crux of the biscuit", Comlab's Lunchtime Meeting, Oxford, UK.

Mid June 2002 : Series of 3 Talks : "Quantaloid-enriched (semi)categories, distributors and functors", Séminaire de Catégories, Dépt. de Mathématique de l'UCL, Belgique.

Early July 2002 : Poster : (with Steven Sourbron) "Causal duality: what it is, and what it is good for", sixth biannual IQSA meeting, Vienna, Austria. [www]

Mid July 2002 : Talk : "Quantaloid-enriched (semi)categories, distributors and functors: an overview", Meeting on the Theory and Applications of Quantales, Instituto Superior Técnico, Lisbon, Portugal. [www]

End of September 2002 : Participation : Workshop on Categorical Structures for Descent and Galois Theory, Hopf Algebras and Semiabelian Categories, organized at the Fields Institute, Toronto, Canada. [www]

January 2003 : Talk : "Totally regular semicategories enriched in a quantaloid: from Louvain-la-Neuve to Sydney and back", Australian Category Seminar, Sydney, Australia.

January 2003 : Talk : "The principle of Causal Duality establishes quantum logics with (external) implication as quantaloid-enriched categories", Australian Category Seminar, Sydney, Australia.

Early March 2003 : Series of 3 Talks : "Semicatégories enrichies dans un quantaloïde", Séminaire de Catégories, Dépt. de Mathématique de l'UCL, Belgique.

Late March 2003 : Talk : "Causal Duality for processes as (co)tensors in a quantaloid enriched category", Workshop "Seminarie: Logica & Informatica 2003", Brussels, Belgium. [www]

Mid May 2003 : Participation : Séminaire Itinérant de Catégories (Journée en l'honneur d'Yves Diers), Université de Valenciennes et du Hainaut Cambrésis, Valenciennes, France. [www]

Early September 2003 : Talk : "Ideals, orders and sets over a base quantaloid", European Category Theory Meeting, Haute-Bodeux, Belgium.

Mid September 2003 : Poster : (with S. Sourbron, R. Luypaert and M. Osteaux) "Discretising the convolution product in DSC-MRI based quantification of CBF", poster presented by S. Sourbron at the 20th Annual Scientific Meeting of the European Society for Magnetic Resonance in Medicine and Biology (ESMRMB), Rotterdam, The Netherlands. [www]

June 2004 : Participation : Séminaire Itinérant de Catégories, Université du Littoral Côte d'Opale, Dunkerque, France. [www]

June 2004 : Invited talk : "Order! Order in the House!", Oxford University's Computing Laboratory, Oxford, United Kingdom.

July 2004 : Talk : "Orders and ideals over a base quantaloid", Category Theory 04, Vancouver, Canada. [www]

November 2004 : Participation : Séminaire Itinérant de Catégories, Université de Paris 7, Paris, France. [www]

December 2004 : Participation : Workshop on Mathematical Structures in Quantum Computing (Q-day I), Institut de mathématiques de Jussieu, Université de Paris 7, Paris, France.

January 2005 : Talk : "Ordered sheaves on a quantaloid", Workshop on Logic from Quantales, Oxford University's Computing Laboratory, Oxford, United Kingdom. [www]

January 2005 : Talk : "Dynamic domains", Mathematics Institute, Oxford University, Oxford, United Kingdom. [www]

Early February 2005 : Talk : "Omega-verzamelingen", Departement Wiskunde, Vrije Universiteit Brussel, Brussels, Belgium.

Early March 2005 : Talk : "Q-catégories totalement continues", Séminaire de Catégories, Département de Mathématique de l'UCL, Belgique. [www]

Mid May 2005 : Participation : Séminaire Itinérant de Catégories, Université du Littoral Côte d'Opale, Calais, France. [www]

Mid May 2005 : Talk : "Towards 'dynamic domains': totally continuous cocomplete Q-categories", Twenty-First Conference on the Mathematical Foundations of Programming Semantics (MFPS XXI), University of Birmingham, Birmingham, United Kingdom. [www]

May-June 2005 : Participation : Summer School on Topos Theory, Haute-Bodeux, Belgium. [www]

September 2005 : Talk : "Categorical structures enriched in a quantaloid: results, projects, ideas and dreams", Algebra Seminar, Centro de Matemática da Universidade de Coimbra, Portugal. [www]

November 2005 : Talk : "Q-modules are precisely Q-suplattices", Category Theory Seminar, Centro de Matemática da Universidade de Coimbra, Portugal. [www]

December 2005 : Talk : "Q-modules are precisely Q-suplattices", Workshop on Mathematical Structures in Quantum Computing (Q-day II), Institut Henri Poincaré, Paris, France. [www]

February 2006 : Talk (popularizing) : "Over de dimensie van een ruimte", Artefact Festival, STUK, Leuven, Belgium. [www]

March 2006 : Talk : "Abstract projective geometry and the origin of the logico-algebraic approach to quantum theory", Algebra Seminar, Centro de Matemática da Universidade de Coimbra, Portugal. [www]

June 2006 : Talk : "Q-modules are Q-suplattices", Algebra Seminar, Instituto Superior Técnico, Lisbon, Portugal.

June-July 2006 : Talk : "Q-modules are Q-suplattices", Category Theory 06, Halifax, Canada. [www]

July 2006 : Talk : "Abstract projective geometry and Piron's representation theorem", Cats, Kets and Cloisters, University of Oxford, Oxford, United Kingdom. [www]

September 2006 : Participation : New techniques in Hopf algebras and graded ring theory, Brussels, Belgium.

November 2006 : Participation : Séminaire Itinérant de Catégories, Université du Littoral Côte d'Opale, Calais, France. [www]

Mid May 2007 : Participation : Third Workshop on Formal Topology, Accademia Galileiana di Scienze Lettere e Arti, Padua, Italy. [www]

Mid May 2007 : Talk : "Exponentiability in Cat(Q)", Algebra Seminar, Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic.

Early June 2007 : Participation : Summer School on Contemporary Categorical Methods in Algebra and Topology, Haute-Bodeux, Belgium. [www]

Mid June 2007 : Participation : Category Theory 07, Carvoeiro, Portugal. [www]

Early July 2007 : Invited talk : "Dynamic logic: a non-commutative topology of truth values", Seminar on mathematical aspects of novel approaches to quantum theory and foundations of physics, organized by Basil Hiley and Georg Wikman (SHIRD), Åskloster, Sweden.

Early August 2007 : Talk : "Sheaves on non-commutative topologies", Categorical Quantum Logic, Oxford, UK. [www]

Early September 2007 : Participation : "Journées Jean-Yves Girard", Institut Henri Poincaré, Paris, France. [www]

Late September 2007 : Participation : Noncommutative rings and geometry (Conference in honour of Fred Van Oystaeyen's 60th birthday), Almerìa, Spain. [www]

November 2007 : Talk : "Principally generated Q-modules", Departement Wiskunde, Vrije Universiteit Brussel, Brussels, Belgium.

November 2007 : Talk : "Principally generated Q-modules", Departamento de Matemática, Universidade de Aveiro, Aveiro, Portugal.

January 2008 : Participation : Categories, Logic and Foundations of Physics, Imperial College, London, United Kingdom. [www]

January 2008 : Participation : Commentator for Klaas Landsman's lecture on "The principle of general tovariance", Symposium on Logic and Physics, Universiteit Utrecht, Utrecht, The Netherlands. [www]

February 2008 : Talk : "Totally continuous and totally algebraic cocomplete Q-categories", Australian Category Seminar, Sydney, Australia. [www]

February 2008 : Talk : "Locally principally generated Q-modules", Australian Category Seminar, Sydney, Australia. [www]

March 2008 : Talk : "Skew local homeomorphisms", Australian Category Seminar, Sydney, Australia. [www]

March 2008 : Talk : "Exponentiable functors between quantaloid-enriched categories", Australian Category Seminar, Sydney, Australia. [www]

June 2008 : Talk : "Principally generated modules on a quantaloid", Category Theory 08, Calais, France. [www]

Early September 2008 : Two invited talks: "Principally generated quantaloid-modules" and "Skew local homeomorphisms", Workshop on Sheaves in Geometry and Quantum Theory, Radboud Universiteit Nijmegen, the Netherlands. [www]

Mid September 2008 : Participation : QICS Workshop on Foundational Structures for Quantum Information and Computation, Universitätszentrum Obergurgl, University of Innsbruck, Austria. [www]

Mid October 2008 : Co-organisation and Talk : "Skew local homeomorphisms", Categories in Algebra, Geometry and Logic, A tribute to the work of Francis Borceux and Dominique Bourn on the occasion of their sixtieth birthday, Royal Academy of Sciences, Brussels, Belgium. [www]

Early Januray 2009 : Invited talk : "Principally generated modules on a quantale", Fourth Workshop on Categories, Logic and Foundations of Physics (CLAP IV), Imperial College, London, United Kingdom. [www]

Mid March 2009 : Talk : "'Hausdorff distance' via conical cocompletion", Département de Mathématiques, Université Catholique de Louvain, Belgium.

Mid March 2009 : Talk : "Enriched colimits vs. suprema", Institute for Mathematics, Astrophysics and Particle Physics, Radboud Universiteit Nijmegen, the Netherlands.

June-July 2009 : Participation : Category theory 2009, Cape Town, South-Africa. [www]

July 2009 : Invited talk : "Sheaves as modules", Seminar on novel mathematical structures in physics: non-commutative geometry, organized by Basil Hiley and Georg Wikman (SHIRD), Åskloster, Sweden. [www]

December 2009 : Participation : 89th meeting of the Paripathetic Seminar on Sheaves and Logic, Louvain-la-Neuve, Belgium. [www]

March 2010 : Participation : Séminaire Itinérant de Catégories, Université de Paris 7, Paris, France. [www]

June 2010 : Invited talk : "Symétrie et Cauchy complétion", Séminaire Itinérant de Catégories, Université de Picardie-Jules Verne, Amiens, France. [www]

June 2010 : Talk : "Symmetry and Cauchy-completion of quantaloid-enriched categories", Category Theory 2010, Genova, Italy. [www]

August 2010 : Invited talk : "Characterisation of commutative topologies amongst non-commutative topologies", International workshop on noncommutative algebra, Shaoxing, China. [www]

November 2010 : Co-organisation : Séminaire Itinérant de Catégories, Université du Littoral-Côte d'Opale, Calais, France. [www]

March 2011 : Participation : Séminaire Itinérant de Catégories, Université Diderot Paris 7, Paris, France. [www]

May 2011 : Invited talk : "An elementary characterisation of quantaloids of closed cribles", Category Theory, Algebra and Geometry, a conference on the occasion of Ross Street's Chaire de la Vallée Poussin, Département de Mathématiques, Université Catholique de Louvain, Belgium. [www]

June 2011 : Participation : Colloquium in Honour of Jean Bénabou, Ecole Normale Superieure, Paris, France. [www]

July 2011 : Participation : Fifth International Conference on Topology, Algebra and Categories in Logic (TACL 2011), Marseille, France. [www]

October 2011 : Co-organisation and talk : "Faisceaux déguisés en modules", Séminaire Itinérant de Catégories, Université du Littoral-Côte d'Opale, Calais, France. [www]

Mid December 2011 : Invited talk : "Axioms for quantaloids of closed cribles", Algebra Seminar, Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic.

February 2012 : Invited talk : "Quantaloid-enriched categories for multi-valued logic and other purposes", 33rd Linz Seminar on Fuzzy Set Theory, Linz, Austria. [www]

April 2012 : Participation : 93rd meeting of the Paripathetic Seminar on Sheaves and Logic, Cambridge, UK. [www]

May 2012 : Participation : Séminaire Itinérant de Catégories, Université de Louvain, Louvain-la-Neuve, Belgique. [www]

June 2012 : Invited talk : "Sheaves as modules", 1st Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Liège, Belgium. [www]

June 2012 : Talk : "Nombreux nombres", Stage pour élèves du lycée, Université du Littoral-Côte d'Opale, Calais, France.

June 2012 : Talk : "Allegories of enriched categories", Oxford Advanced Seminar on Informatic Structures, Oxford University, UK. [www]

October 2012 : Talk : "Grothendieck topologies and Grothendieck quantales", Category Theory Seminar, University of Cambridge, UK. [www]

November 2012 : Participation : Séminaire Itinérant de Catégories, Université Diderot Paris 7, Paris, France. [www]

March 2013 : Organisation : Séminaire Itinérant de Catégories, Université du Littoral-Côte d'Opale, Calais, France. [www]

May 2013 : Talk : "Grothendieck quantales", Séminaire Itinérant de Catégories, Université de Louvain, Louvain-la-Neuve, Belgique. [www]

June 2013 : Participation : Journées en l'honneur de Georges Maltsiniotis, Université Diderot Paris 7, Paris, France. [www]

July 2013 : Participation : Workshop on Applications of Category Theory, Macquarie University, Sydney, Australia. [www]

July 2013 : Talk : "Grothendieck topologies and Grothendieck quantales", Category Theory 2013, Macquarie University, Sydney, Australia. [www]

September 2013 : Participation : Journée des Doctorants en Mathématiques de la Fédération de Recherche Mathématique du Nord-Pas de Calais, Lens, France. [www]

October 2013 : Participation : Workshop on Quantum Mathematics and Computation, Centre for Quantum Mathematics and Computation, University of Oxford, UK. [www]

October 2013 : Participation : Séminaire CHoCoLA, École Normale Supérieure, Lyon. [www]

October 2013 : Session organiser : Session on Theory and Applications of Categories, Nord-Pas de Calais/Belgium Congress of Mathematics, Valenciennes/Mons, France/Belgium. [www]

November 2013 : Talk : "Local elements, partial metrics", Séminaire de Catégories, Département de Mathématique de l'UCL, Belgique. [www]

November 2013 : Participation : Séminaire Itinérant de Catégories, Université Diderot Paris 7, Paris, France. [www]

November-December 2013 : Invited talk : "Local elements, partial metrics, and diagonals", Workshop on Quantum Structures at CLEA, Vrije Universiteit Brussel, Belgium. [www]

February 2014 : Organisation : Séminaire Itinérant de Catégories, Université du Littoral, Calais, France. [www]

February 2014 : Talk : "Partial metrics as enriched categories", 35th Linz Seminar on Fuzzy Set Theory, Linz, Austria. [www]

March 2014 : Invited talk : "Local elements, partial metrics, diagonals, and change of base", Séminaire de Logique, Informatique et Mathématiques Discrètes (LIMD), Université de Savoie, Chambéry, France. [www]

March 2014 : Invited talk : "Local elements, partial metrics, diagonals, and change of base", Amsterdam Quantum Logic Workshop, Universiteit Amsterdam, the Netherlands. [www]

May 2014 : Participation : Séminaire Itinérant de Catégories, Université de Louvain, Louvain-la-Neuve, Belgique. [www]

May 2014 : Series of 4 invited talks : "Quantaloid-enriched categories: theory and applications", School of Mathematics, Sichuan University, Chengdu, China.

June 2014 : Participation : Category Theory 2014, Cambridge, UK. [www]

September 2014 : Co-organisation : Journée des Doctorants de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Lille, France. [www]

October 2014 : Co-organisation : Journée de Rentrée des Laboratoires de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Maison d'Éducation Permanente, Lille, France. [www]

October 2014 : Participation : Workshop celebrating 10 years of Categorical Quantum Mechanics, Quantum Group, Department of Computer Science, University of Oxford, UK. [www]

January 2015 : Participation : 3rd Workshop on Categorical Methods in Non-Abelian Algebra", Louvain-la-Neuve, Belgium. [www]

January 2015 : Participation : 97th meeting of the Paripathetic Seminar on Sheaves and Logic, Université Catholique de Louvain, Louvain-la-Neuve, Belgium. [www]

March 2015 : Organisation : Séminaire Itinérant de Catégories, Université du Littoral, Calais, France. [www]

March 2015 : Participation : Second Young Mathematicians Colloquium, Kortrijk, Belgium. [www]

May 2015 : Invited talk : "Topology from enrichment: the curious case of partial metrics", Amsterdam Quantum Logic Workshop, Universiteit Amsterdam, the Netherlands. [www]

June 2015 : Invited talk : "Partial metric spaces as enriched categories", International Meeting of the American Mathematical Society (AMS), the European Mathematical Society (EMS) and the Portuguese Mathematical Society (SPM), Porto, Portugal. [www]

June 2015 : Participation : Category Theory 2015, Aveiro, Portugal. [www]

July 2015 : Member of PC : 12th International Workshop on Quantum Physics and Logic (QPL), Department of Computer Science, University of Oxford. [www]

September 2015 : Co-organisation : Journée des Doctorants de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Valenciennes, France. [www]

September 2015 : Member of PC : 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 15), Braga, Portugal. [www]

October 2015 : Participation : Journée de Rentrée des Laboratoires de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Le Bô Jardin, Roubaix. [www]

March 2016 : Co-organisation : Séminaire Itinérant de Catégories, Université de Lille, France. [www]

May 2016 : Talk : "On airplane trips and airport fees: partial metric spaces", Kent-Littoral Seminar, University of Kent, Canterbury, UK.

June 2016 : Member of PC : 13th International Workshop on Quantum Physics and Logic (QPL), University of Strathclyde, Glasgow, Scotland. [www]

September 2016 : Co-organisation : Journée des Doctorants de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Lens, France. [www]

October 2016 : Participation : Séminaire Itinérant de Catégories, Université d'Amiens, France. [www]

October 2016 : Participation : Journée de Rentrée des Laboratoires de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Musée de l'Art Moderne, Villeneuve d'Ascq. [www]

January 2017 : Participation : Séminaire Itinérant de Catégories, Université libre de Bruxelles, Bruxelles, Belgique. [www]

February 2017 : Chair of PC, Talk : "Topology from enrichment: the curious case of partial metrics", 37th Linz Seminar on Fuzzy Set Theory, Linz, Austria. [www]

June 2017 : Talk : "Topology from enrichment: the curious case of partial metrics", Topology, Algebra, and Categories in Logic (TACL 2017), Czech Academy of Sciences and Charles University, Prague, Czech Republic [www]

July 2017 : Member of PC : 14th International Workshop on Quantum Physics and Logic, Radboud University, Nijmegen, Netherlands). [www]

September 2017 : Co-organisation : Journée des Doctorants de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Calais, France. [www]

January 2018 : Participation : Journées niçoises en logique catégorique, topos et dualité, Laboratoire J.-A. Dieudonné, Nice, France. [www]

April 2018 : Talk : "Comment Google trouve la page web que vous cherchez", Séminaire (grand public) du Pôle de Recherche Sciences & Technologies, Santé (introduction par Marc Prévost), Université du Littoral, Calais, France. [vid]

June 2018 : Participation : Toposes in Como, Como, Italy. [www]

June 2018 : Member of PC : 15th International Workshop on Quantum Physics and Logic, Dalhousie University, Halifax, Canada. [www]

July 2018 : Participation : Category Theory 2018, Ponta Delgada, Azores. [www]

October 2018 : Co-organisation : Séminaire Itinérant de Catégories, Université de Lille, France. [www]

December 2018 : Talk : "Divisibility and diagonals", Topology Seminar, Departamento de Matemática, Universidade de Aveiro. [www]

February 2019 : Member of PC : 38th Linz Seminar on Fuzzy Set Theory, Linz, Austria. [www]

March 2019 : Participation : Séminaire Itinérant de Catégories, Université de Louvain, Belgique. [www]

June 2019 : Member of PC : 16th International Workshop on Quantum Physics and Logic, Chapman University, Orange, USA. [www]

June 2019 : Member of PC, talk : "Divisibility and diagonals", 9th Conference on Topology, Algebra and Categories in Logic (TACL 2019), Université Côte d'Azur, Nice. [www]

September 2019 : Participation : Journée des Doctorants de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Lens, France [www].

October 2019 : Participation : Journée de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, Halle aux Sucres, Lille, France. [www]

January 2020 : Co-organisation : Séminaire Itinérant de Catégories, Université de Picardie, Amiens. [www]

June 2020 : Member of PC : 7th International Workshop on Quantum Physics and Logic, Paris, France (and everywhere!)). [www]

May 2021 : Participation : Séminaire Itinérant de Catégories, Université de Paris (viséoconférence), Paris. [www]

June 2021 : Member of PC : 18th International Workshop on Quantum Physics and Logic, Gdansk, Poland). [www]

October 2021 : Co-organisation : Séminaire Itinérant de Catégories, Université du Littoral, Calais. [www]

February 2022 : Talk : "D'Euclide à la méthode axiomatique", Exposé (grand public) pour une journée d'immersion pour lycéens, Université du Littoral, Calais.

June 2022 : Member of PC : 39th Linz Seminar on Fuzzy Set Theory, Linz, Austria. [www]

June 2022 : Participation : 11th Conference on Topology, Algebra and Categories in Logic (TACL 2022), Universidade de Coimbra, Portugal. [www]

June 2022 : Member of PC : 19th International Workshop on Quantum Physics and Logic, Oxford, UK). [www]

October 2022 : Co-organisation and Talk : "Une analyse logique du théorème du point fixe", Séminaire Itinérant de Catégories, Université de Lille. [www]

November 2022 : Co-organisation : Colloque Bénabou, Université de Paris (viséoconférence), Paris. [www]

December 2022 : Talk : "Reculer pour mieux sauter: une analyse logico-catégorique du théorème du point fixe", Séminaire joint ADA-EMA ("colloquium"), Université du Littoral, Calais. [www] [download slides]

March 2023 : Co-organisation : Séminaire Itinérant de Catégories, Université du Littoral, Calais. (Attention! Ce SIC est reporté à cause des grèves du ferroviaire en France et en Belgique. Une nouvelle date sera communiquée le plus tôt possible, par Cat.fr.) [www]

March 2023 : Talk : "Les solides de Platon", Exposé (grand public) au Collège Paul Machy, Dunkerque.

July 2023 : Plenary Talk : "A logical analysis of the Banach Fixpoint Theorem", Category Theory 2023, Université de Louvain-la-Neuve, Belgique. [www]

July 2023 : Invited Talk : "A logical analysis of the Banach Fixpoint Theorem", 37th Summer Conference on Topology and Applications 2023 (SCTA 23), Youngstown State University, Ohio, USA. [www]

July 2023 : Member of PC : 20th International Workshop on Quantum Physics and Logic, Paris, France. [www]

October 2023 : Co-organisation : Séminaire Itinérant de Catégories, Université du Littoral, Calais. [www]

October 2023 : Talk : "Comment Google trouve ce que vous cherchez", Exposé (grand public) pour la Fête de la Science, Palais de l'Univers et de la Science, Cappelle-la-Grande, France. [www] et [www]

April 2024 : Co-organisation : Séminaire Itinérant de Catégories, Université de Lille, Lille. [www]

June 2024 : Talk : "Des parallélogrammes de Pappus aux hexagrammes de Pascal", Exposé (grand public) pour le Stage des Secondes, Université du Littoral, Calais.

July 2024 : Member of PC : 21st International Workshop on Quantum Physics and Logic, Buenos Aires, Argentina. [www]

September 2024 : Series of 4 Invited Talks : "Quantaloid-enriched categories for sheaf theory", Summer School in Topos Theory, organized by the Instituto Grothendieck, Mondoví, Italy. [www]

September 2024 : Participation : Toposes in Mondoví, Instituto Grothendieck, Mondoví, Italy. [www]

October 2024 : Co-organisation : Séminaire Itinérant de Catégories, Université de Paris-Diderot, Paris. [www]

July 2025 : Member of PC : 22nd International Workshop on Quantum Physics and Logic, Varna, Bulgaria. [www]

Study leaves [back to top of page]

July 1999 : Dipartimento di Matematica at the Università degli Studi Roma Tre, Italy.

August-October 1999 : School of Mathematics and Statistics at the University of Sydney, Australia.

January 2003 : Division of Information and Communication Sciences at Macquarie University, Sydney, Australia.

June 2004 : Computing Laboratory at Oxford University, United Kingdom.

April 2005 : Programmes, Preuves, Systèmes, Institut de mathématiques de Jussieu, Université de Paris 7, France.

May 2006 : Instituto Superior Técnico, Lisbon, Portugal.

May 2007 : Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic.

Late November 2007 : Departamento de Matemática, Universidade de Aveiro, Portugal.

February-April 2008: Division of Information and Communication Sciences at Macquarie University, Sydney, Australia.

May 2008 : Departamento de Matemática, Universidade de Aveiro, Portugal.

January 2010 : Computing Laboratory at Oxford University, United Kingdom.

August 2010 : Department of Mathematics, Shaoxing University, China.

December 2011 : Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic.

2013-2014 : Centre for Quantum Mathematics, Mathematical Institute and Departement of Computer Science, Oxford University, United Kingdom.

February 2014 : Collège de France, Paris, France.

May 2014 : School of Mathematics, Sichuan University, Chengdu, China.

June 2016 : Departamento de Matemática, Universidade de Aveiro, Portugal.

December 2018 : Departamento de Matemática, Universidade de Aveiro, Portugal.

Responsabilities [back to top of page]

Supervision of post-doctoral researcher Junche Yu (Jul. 2024 - Dec. 2024).

Co-supervisor of PhD student Arij Benkhadra (Dec. 2019 - Feb. 2023), in collaboration with the University of Rabat and the Centre National pour la Recherche Scientifique et Technique (Morocco). [www]

Member or reporter of PhD Jury for:

Membre de la commission de thèse pour James Huglo (2018, dirs. Ivo Dell'Ambrogio et Catalin Badea, Lille).

Membre du Conseil du Département de Mathématiques, Université du Littoral, 2009-présent.

Président du Jury de la Licence 2 Mathématiques, Université du Littoral, 2022-présent.

Membre du Conseil du Laboratoire de Mathématiques, Université du Littoral, 2009-2019.

Membre du Conseil de la Fédération de Recherche Mathématique du Nord-Pas-de-Calais (FR2956), 2015-présent. [www]

Editor for the Cahiers de Topologie et Géométrie Différentielle Catégoriques. [www]

Editor for the North-Western European Journal of Mathematics. [www]

Webmaster for the Fédération de Recherche Mathématique des Hauts-de-France (FR2956). [www]

Webmaster for the Séminaire Itinérant de Catégories. [www]

Administrator for the "Cat.fr" mailing list. [www]

Member of the Organising Committee of the Journée des Doctorants de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, 2014-2017. [www]

Member of the Organising Committee of the Journée de Rentrée des Laboratoires de la Fédération de Recherche Mathématique du Nord/Pas-de-Calais, 2014. [www]

Member of the Program Committee of QPL 2015 (12th International Workshop on Quantum Physics and Logic, University of Oxford, UK). [www]

Member of the Program Committee of RAMiCS 15 (15th International Conference on Relational and Algebraic Methods in Computer Science, Braga). [www]

Member of the Program Committee of QPL 2016 (13th International Workshop on Quantum Physics and Logic, University of Strathclyde, Glasgow, Schotland). [www]

Chair of the Program Committee of Linz 2017 (37th Linz Seminar on Fuzzy Set Theory, Linz, Austria). [www]

Member of the Program Committee of QPL 2017 (14th International Workshop on Quantum Physics and Logic, Radboud University, Nijmegen, Netherlands). [www]

Member of the Program Committee of QPL 2018 (15th International Workshop on Quantum Physics and Logic, Dalhousie University, Halifax, Canada). [www]

Member of the Program Committee of Linz 2019 (38th Linz Seminar on Fuzzy Set Theory, Linz, Austria). [www]

Member of the Program Committee of QPL 2019 (16th International Workshop on Quantum Physics and Logic, Chapman University, USA). [www]

Member of the Program Committee of TACL 2019 (9th conference on Topology, Algebra and Categories in Logic, Nice, France). [www]

Member of the Program Committee of QPL 2020 (17th International Workshop on Quantum Physics and Logic, Paris, France (and everywhere!)). [www]

Member of the Program Committee of QPL 2021 (18th International Workshop on Quantum Physics and Logic, Gdansk, Poland). [www]

Member of the Program Committee of Linz 2022 (39th Linz Seminar on Fuzzy Set Theory, Linz, Austria). [www]

Member of the Program Committee of QPL 2022 (19th International Workshop on Quantum Physics and Logic, Oxford, UK). [www]

Member of the Program Committee of QPL 2023 (20th International Workshop on Quantum Physics and Logic, Paris, France). [www]

Member of the Program Committee of QPL 2024 (21st International Workshop on Quantum Physics and Logic, Paris, France). [www]

Member of the Program Committee of QPL 2025 (22nd International Workshop on Quantum Physics and Logic, Paris, France). [www]

Courses/Cours [back to top of page]

Théorie des Ensembles en L1 Sciences Sociales

Logique en L2 Mathématique

Calcul matriciel et applications en L2 Informatique

Géométrie du plan: d'Euclide à Descartes en L2 Mathématique

Géométrie affine, groupes classiques en L3 Mathématique

Exercices d'algèbre (anneaux, corps) en L3 Mathématique

Graphes, probabilités et matrices (et Google) en Cycle Ingénieur 2

Une introduction aux formes quadratiques en M1 Mathématique

Arithmétique en M1 Mathématique

Arithmétique modulaire en M1 Mathématique (pour étudiants étrangers)