International
Category
Theory
Conference

2–8 July 2023, UCLouvain, Louvain-la-Neuve, Belgium

Programme

Category Theory 2023

In July 2023 the International Category Theory Conference CT2023 will take place at the Université catholique de Louvain.

The last four CT conferences were held at Genova (2021), Edinburgh (2019), Ponta Delgada (2018) and Vancouver (2017).

We have six invited speakers who will each give a 50-minute lecture, slots for 25-minute contributed talks and poster sessions. Contributions on all aspects of category theory, pure and applied, are welcome. Click here for the full programme.

During the conference there will be a commemorative session in honour of Bill Lawvere.

Certain lectures have been recorded by Michael Wright of the Archive Trust for Research: click here for the playlist.

Where

Louvain-la-Neuve, Belgium

The conference will take place entirely on site.

When

Sunday to Saturday
2–8 July 2023

Invited Speakers

A 50-minute plenary lecture will be given by

George Janelidze University of Cape Town, South Africa
Steve Lack Macquarie University, Australia
Vanessa Miemietz University of East Anglia, United Kingdom
Paolo Perrone University of Oxford, United Kingdom
Luca Reggio University College London, United Kingdom
Christina Vasilakopoulou National Technical University of Athens, Greece

Committees

Category Theory 2023 is organised by

Scientific committee

  • Richard Garner
  • Sandra Mantovani (Chair)
  • Jorge Picado
  • Emily Riehl
  • Giuseppe Rosolini
  • Walter Tholen
  • Tim Van der Linden

Organising committee

  • Carine Baras
  • Federico Campanini
  • Marino Gran
  • Elodie Hannoy
  • Julia Ramos González
  • Tim Van der Linden
  • Joost Vercruysse
  • Enrico Vitale

Venue

Category Theory 2023 will be held at UCLouvain, Louvain-la-Neuve, Belgium.

The town Louvain-la-Neuve, located in the Belgian province Brabant Wallon, is the main site of the Université catholique de Louvain. The conference will be held at the Auditoires des Sciences (place des Sciences 2) in the town centre.

Louvain-la-Neuve is easily reachable by car (via the E411) or by train (via Ottignies, which lies on the line between Brussels and Namur). Beware: Leuven (= Louvain in French) is a different town!

Auditoires des Sciences, UCLouvain

The lectures will take place in rooms Georges Lemaître-A.10 (plenary sessions), A.02 and A.03 (parallel sessions) and Salle d'Étude A.04 (poster sessions, entrance A.04A and A.04B) at the Auditoires des Sciences building, place des Sciences 2, Louvain-la-Neuve.

Programme

Here you find the schedule of the conference, together with information on the session in honour of Bill Lawvere and some explanation concerning the social activities and other practical matters.

Click here for a pdf with full information.

Session in honour of Bill Lawvere

Speakers at this commemorative session will highlight some of Bill Lawvere's many contributions to Category Theory and beyond, reflect on their importance, and share personal memories. Anders Kock will give the main presentation, followed by short contributions by Peter Johnstone, Ieke Moerdijk, Matias Menni, Giuseppe Rosolini and George Janelidze.

The session will be chaired by Walter Tholen.

Click here for a recording made by Michael Wright of the Archive Trust for Research.

Practical details

On Sunday evening (the 2nd of July, between 17:00 and 19:00) there is a Welcome Drink at the Auditoires des Sciences, the main location of the conference. During the drink you can do the local registration (pick up your badge, meal tickets, certificates and so on), otherwise it is possible to do so on Monday morning starting from 8:30.

Monday to Friday lunch is served at two university restaurants: Le Galilée, right next to the Auditoires des Sciences building where the lectures take place, and Le Sablon, in the town centre (rue du Sablon 11).

We are planning some social activities for Wednesday afternoon. There are six options to choose from (please note that we can allow only a limited number of participants for each activity, but we will do our best to accommodate everyone):

  1. A thematic guided tour in the Old Masters Museum "Bruegel & Cie: context et descendance", a selection of works from the Flemish primitives to the direct descendants of the Dutch artist Pieter Bruegel the Elder (1525/30–1569).
  2. A guided tour of the Magritte Museum. It is the largest collection of works by the Belgian Surrealist artist René Magritte (1898–1967), with over 200 works located in 2500 m2 of contemporary museography.
  3. A visit to the Musical Instruments Museum. Multimedia guides are included.

The museums are close to each other in Brussels, where we will go by train. The next three options will be reached by a private bus:

  1. A visit to the majestic ruins of the Abbey of Villers, an ancient Cistercian abbey founded in the year 1146 under the aegis of Saint Bernard. The visit will be kindly guided by Francis Borceux and a beer tasting is included.
  2. Visit to the Waterloo battlefield, where Napoleon's army was defeated by the Seventh Coalition in the famous battle of 1815. A guided tour of the Museum is included.
  3. A guided visit to the Museum of the Fondation Folon, located in the Château de la Hulpe farm. It will also be possible to have a walk in Parc Solvay.

On the evening of Thursday the 6th of July, starting at 19:30 there is the Conference Dinner which will take place at the Aula Magna.

Supporting material

Here you will find supporting material used in the lectures and poster presentations. We are putting it online gradually in chronological order. Note that we need your permission if you want us to publish your work here. In case we forgot something, please let us know.

Monday 3rd of July

George Janelidze A new direction in non-pointed categorical algebra
Dominique Bourn Towards a varietal encyclopedia of internal categories
Diana Rodelo Jónsson categories
Andrea Montoli Non-pointed abelian categories
 
Lyne Moser New methods for contructing model categories
Philip Hackney Edgewise subdivision, culf maps, and right fibrations
Marcello Lanfranchi The Tangent Categories of Algebras over an Operad
Ruben Van Belle Radon-Nikodym derivatives and martingales
Daniel Luckhardt Norms on Categories
 
Alan Cigoli Birkhoff subfibrations
Yuto Kawase Birkhoff's variety theorem for relative algebraic theories
Aline Michel Galois structures in preordered groups

Tuesday 4th of July

Vanessa Miemietz Categorification in Representation Theory
Steve Awodey Cartesian cubical model categories
Graham Manuell The representing localic groupoid of a geometric theory
Nathanael Arkor The formal theory of relative monads
John Bourke A skew approach to enrichment for Gray categories
 
Lurdes Sousa Lax epimorphisms in CAT, V-Cat and everywhere
Matheus Duzi Categorical incarnations of infinite games
Jonathan Weinberger The dependent Gödel fibration
Joshua Wrigley When are there enough model isomorphisms?
Davide Trotta Sheafification as a geometric tripos-to-topos adjunction
 
Anders Kock Special Session in memory of F.W. Lawvere

Wednesday 5th of July

Christina Vasilakopoulou Sweedler theory for double categories
Eugenia Cheng A twisted Boardman–Vogt tensor product for operads
Clemens Berger On the profinite fundamental group of a connected Grothendieck topos

Thursday 6th of July

Luca Reggio Resource-sensitive model theory: a categorical view
Paul Taylor A novel fixed point theorem, towards a replacement for replacement
Benedikt Ahrens The Univalence Principle
Matías Menni A ‘Basis Theorem’ for 2-rigs and Rig Geometry
 
Dorette Pronk Double Fibrations
Miloslav Štěpán Factorization systems as double categories
Bryce Clarke The right-connected completion of a double category
Ivan Di Liberti The geometry of coherent topoi & ultrastructures
Ryuya Hora Internal Parameterization of Hyperconnected Quotients
 
Hisashi Aratake Spectra of Modelled Spaces à la Coste, Revisited
Boris Chorny A variant of a Dwyer-Kan theorem for model categories
Florian De Leger Triple delooping for multiplicative hyperoperads
Nicola Di Vittorio Beck's monadicity in a 2-derivator
Bojana Femić Bifunctor Theorem and strictification tensor product for double categories with lax double functors
Tom Hirschowitz A generic congruence theorem for enhanced bisimilarity
Arne Mertens Nerves of enriched categories via necklaces
Philip Saville Bicategorifying actions, strengths, and Freyd categories

Friday 7th of July

Paolo Perrone Universal properties in probability theory
Dirk Hofmann Barr-coexactness for representable spaces
 
Giacomo Tendas Flatness, weakly-lex colimits, and free exact completions
Cipriano Junior Cioffo Biased elementary doctrines and quotient completions
Rui Prezado Effective descent V-functors
Nima Rasekh Limits in (∞, n)-Categories
Yuki Maehara Coinductive equivalences in algebraic weak ω-categories
Martina Rovelli An (∞, 2)-categorical pasting theorem
Rhiannon Griffiths Slices of Higher Categories
 
Elena Caviglia Principal bundles in sites and 2-sites and quotient stacks
Bo Shan Deval A universal Kaluzhnin–Krasner embedding theorem
Arnaud Duvieusart Ternary semidirect products in semi-abelian categories
Jens Hemelaer Some toposes over which essential implies locally connected
Luca Mesiti 2-classifiers via dense generators and the case of stacks
Jason Parker Diagrammatic presentations of enriched monads and the axiomatics of enriched algebra
Alessio Santamaria Towards a Substitution Calculus for Dinatural Transformations
Andrew Slattery Pseudocommutativity and Lax Idempotency for Relative Pseudomonads
Marek Zawadowski Monadicity of strict ω-categories
Tony Zorman Duality in Monoidal Categories

Saturday 8th of July

Steve Lack Enriched accessible categories
Isar Stubbe A logical analysis of Banach's fixpoint theorem
Susan Niefield Cartesian Closed Double Categories
Tom Leinster Magnitude homology

Conference registration

Registration is now closed.

Registration for the conference is now open, until the 10th of May 2023. To register, please fill out this form.

There is a registration fee which includes coffee breaks, the Welcome Drink on Sunday evening, lunches from Monday to Friday, the excursion on Wednesday afternoon and the Conference Dinner at the Aula Magna on Thursday evening. The fee is lower for M.Sc. and Ph.D. students; it is also lower if you register (and pay the fee) on the 10th of April 2023 at the latest.

Standard fee 250 euro
Early registration 200 euro
Student fee 150 euro
 

Additionally, there is a flat rate of 100 euro for accompanying persons wishing to participate in the Conference Dinner and any other of the social activities such as the excursion on Wednesday.

The fee is to be paid no later than May 11th by bank transfer onto the UCLouvain account IBAN BE66 0910 0157 2843, BIC GKCCBEBB (Belfius bank, Pachecolaan 44, B-1000 Brussels, Belgium). Please indicate the reference L1.31500.016 - inscription CT2023 - YOUR NAME. We confirm the payment upon reception.

Registered participants

Here is a list of registered participants with their affiliations.

Jiri Adamek Czech Technical University Prague and Technical University Braunschweig
Anthony Agwu Johns Hopkins University
Benedikt Ahrens Delft University of Technology and University of Birmingham
Hisashi Aratake Kyoto University
Nathanael Arkor Masaryk University
Steve Awodey Carnegie Mellon University
Igor Baković Queen Mary University of London
Carine Baras UCLouvain
Alvaro Belmonte Johns Hopkins University
Clemens Berger Université Côte d'Azur
Marius Berthoumieux UCLouvain
Francis Borceux UCLouvain
Lucrezia Bottegoni University of Turin
John Bourke Masaryk University
Dominique Bourn Université du Littoral
Dylan Braithwaite University of Strathclyde
Federico Campanini UCLouvain
Timothy Campion Johns Hopkins University
Matteo Capucci University of Strathclyde
Nicola Carissimi Université de Lille
Elena Caviglia University of Leicester
Clovis Chabertier Institut de Mathématiques de Jussieu-Paris Rive Gauche
Eugenia Cheng School of the Art Institute of Chicago
El Mehdi Cherradi IRIF - Université Paris cité
Boris Chorny University of Haifa (Oranim)
Alan Cigoli Università degli Studi di Torino
Cipriano Junior Cioffo Università degli Studi di Padova
Bryce Clarke Inria Saclay
Maria Manuel Clementino Universidade de Coimbra
Alexander Corner Sheffield Hallam University
Maxime Culot UCLouvain
Jacques Darné UCLouvain
Subhajit Das Indian Institute of Science (IISc), Bangalore, India
Cédric de Lacroix AMU/LIS
Florian De Leger Czech Academy of Sciences
Bo Shan Deval UCLouvain
Ivan Di Liberti Stockholm University
Matthew Di Meglio University of Edinburgh
Nicola Di Vittorio Macquarie University
Brandon Doherty Stockholm University
Adrián Doña Mateo University of Edinburgh
Wojciech Duliński University of Warsaw
Arnaud Duvieusart Università degli Studi di Milano
Matheus Duzi Ferreira Costa University of São Paulo
Jacopo Emmenegger Università di Genova
Peter Faul Ecole Polytechnique
Gregor Feierabend Stellenbosch University
Bojana Femić Mathematical Institute of Serbian Academy of Sciences and Arts
Marcelo Fiore University of Cambridge
Carlos Fitas CMUC - Universidade de Coimbra
David Forsman UCLouvain
Xabier García Martínez Universidade de Vigo
Francesco Genovese Università di Milano
Marino Gran UCLouvain
Rhiannon Griffiths Cornell University
Chris Grossack UC Riverside
Léonard Guetta Max Planck Institute for Mathematics
Philip Hackney University of Louisiana at Lafayette
Sebastian Halbig University of Marburg
Rodrigue Haya Enriquez UCLouvain
Sina Hazratpour Johns Hopkins University
Jens Hemelaer University of Antwerp
Simon Henry University of Ottawa
Tom Hirschowitz CNRS and Savoie Mont Blanc University
Michael Hoefnagel Stellenbosch University
Dirk Hofmann University of Aveiro
Ryuya Hora University of Tokyo
Keisuke Hoshino RIMS, Kyoto University
Calum Hughes The University of Manchester
Sacha Ikonicoff University of Ottawa
Luka Ilic QMUL
Victor Iwaniack Université Côte d'Azur
George Janelidze University of Cape Town
Michael Johnson Macquarie University
Peter Johnstone University of Cambridge
Moana Jubert IRIF, Inria, CNRS, Université Paris-Cité
Jan Jurka Masaryk University
Kristóf Kanalas Masaryk University
Yuto Kawase Kyoto University
David Kern IMAG (Université de Montpellier)
Anders Kock University of Aarhus, Denmark
Joachim Kock Universitat Autònoma de Barcelona and University of Copenhagen
Steve Lack Macquarie University
Marcello Lanfranchi Dalhousie University
Georg Lehner Free University of Berlin
Tom Leinster University of Edinburgh
Damien Lejay Unaffiliated
Gabriele Lobbia Masarykova Univerzita
Guillermo Lopez Cafaggi UClouvain
Fosco Loregian Tallinn University of Technology
Fernando Lucatelli Nunes Utrecht University, Netherlands; and CMUC, Portugal
Daniel Luckhardt University of Sheffield
Rory Lucyshyn-Wright Brandon University
Yuki Maehara Kyushu University
Manuel Mancini Università degli Studi di Palermo
Sandra Mantovani Università degli Studi di Milano
Graham Manuell University of Coimbra
Ioannis Markakis University of Cambridge
Francisco Marmolejo Universidad Nacional Autónoma de México
Jérémie Marquès Université Nice Côte d'Azur
Nelson Martins-Ferreira Politécnico de Leiria
Sébastien Mattenet UCLouvain
Matías Menni Conicet and Universidad Nacional de La Plata, Argentina
Arne Mertens University of Antwerp
Luca Mesiti University of Leeds
Mariano Messora Università degli Studi di Milano
Giuseppe Metere Università degli Studi di Palermo
Aline Michel UCLouvain
Vanessa Miemietz University of East Anglia
Thomas Jan Mikhail Autonomous University of Barcelona
Adrian Miranda University of Manchester
Ieke Moerdijk Utrecht University
Andrea Montoli Università degli Studi di Milano
Vincent Moreau IRIF, Université Paris Cité, Inria Paris
Lyne Moser University of Regensburg
David Jaz Myers CQTS - New York University Abu Dhabi
Hayato Nasu Kyoto University
Andrew Neate University of Sheffield
Chad Nester Tallinn University of Technology
Susan Niefield Union College
Cihan Okay Bilkent University
Axel Osmond Istituto Grothendieck
Daniël Otten ILLC, University of Amsterdam
Simona Paoli University of Aberdeen
Hugo Paquet LIPN, Université Sorbonne Paris Nord
Paul-Eugène Parent Université d'Ottawa
Jason Parker Brandon University
Davide Perinti ILLC (UvA)
Paolo Perrone University of Oxford
Jorge Picado Universidade de Coimbra
Aberdeen Powell University of East Anglia
Rui Prezado CMUC - Universidade de Coimbra
Dorette Pronk Dalhousie University
Julia Ramos González UCLouvain
Sanjiv Ranchod University of Cambridge
George Raptis University of Regensburg
Nima Rasekh Max Planck Institute for Mathematics
Luca Reggio University College London
Ülo Reimaa University of Tartu
Alyssa Renata ILLC (University of Amsterdam)
Emily Riehl Johns Hopkins University
John Robert Independent researcher
Diana Rodelo CMUC Universidade do Algarve
Emily Roff University of Edinburgh
Morgan Rogers LIPN CNRS
Jack Romö University of Leeds
Giuseppe Rosolini Università di Genova
Martina Rovelli UMass Amherst
Gabriel Saadia Stockholm University
Alessio Santamaria University of Sussex
Luigi Santocanale LIS, Aix-Marseille Université
Maru Sarazola Johns Hopkins University
Chiara Sarti University of Cambridge
Philip Saville University of Oxford
Léo Schelstraete UCLouvain
Andrea Sciandra Università degli Studi di Torino
Mark Sioen VUB (Vrije Universiteit Brussel)
José Siqueira University of Cambridge
Andrew Slattery University of Leeds
Manuela Sobral Universidade de Coimbra
Lurdes Sousa CMUC Coimbra and Polytechnic of Viseu
Matteo Spadetto University of Leeds
Isar Stubbe Université du Littoral
Dmitrij Szamozvancev University of Cambridge
Miloslav Štěpán Masaryk University
Paul Taylor University of Birmingham (honorary)
Giacomo Tendas Masarykova Univerzita
Walter Tholen York University Toronto
Ivan Tomasic Queen Mary University of London
Davide Trotta University of Pisa
Ruben Van Belle University of Edinburgh
Tim Van der Linden UCLouvain
Jaap van Oosten Utrecht University
Christina Vasilakopoulou National Technical University of Athens
Pedro Vaz UCLouvain
Joost Vercruysse Université Libre de Bruxelles (ULB)
Corentin Vienne UCLouvain
Enrico Vitale UCLouvain
Jonathan Weinberger Johns Hopkins University
Simon Willerton University of Sheffield
Michael Wright The Archive Trust for Research in Mathematical Sciences
Joshua Wrigley University of Insubria
Yiqi Xu Universität Stuttgart
Errol Yuksel Stockholm University
Marek Zawadowski University of Warsaw
Tony Zorman TU Dresden

Abstract submission

Submission of abstracts is now closed.

Accommodation

Here are some places to stay in Louvain-la-Neuve. Please be aware that accommodation in Louvain-la-Neuve is limited, so it makes sense to book as soon as possible. Alternatively, it may be convenient to stay in Wavre or in Brussels.

Martin's

Martin's Hotel

For booking at the university rate of €119 per night (single room, breakfast included), please fill in the form on this website, using the code CT2023. We pre-booked 80 rooms until the 15th of May.

Ibis Styles

Ibis Styles

For booking at the university rate of €95 per night (single room, breakfast included), please fill out the booking form and send it to the hotel. We pre-booked 60 rooms until the 26th of May.

Mozaik

Mozaïk Hostel

A basic single room with breakfast included is €57,65 per night. Shared rooms are available as well. Please send an e-mail to info@gite-mozaik.be mentioning the code UCL/IRMP/MATH/CT2023. — now fully booked

Le Relais

Le Relais

Le Relais is a student house, where we could reserve a very limited number of rooms of various kinds, with prices starting from around €35 per night (no breakfast). For further information, please contact Laila Dawdi. To book, fill out the booking form and mention the code CT2023. We pre-booked 16 rooms until the 26th of May. — now fully booked

LLN

Service logements

Here is a list of privately owned rooms in and around Louvain-la-Neuve.

Airbnb

Airbnb

Another way to find accommodation is via airbnb: many options are available in and around Louvain-la-Neuve.

Sponsors

Contact Us

Please contact us if you have any further questions.

Address

CT2023, IRMP UCLouvain
chemin du cyclotron 2
1348 Louvain-la-Neuve, Belgium

Phone Number

+32 10 47 33 12