CT2024

Schedule and Abstracts

You can download the full programme here: Schedule and Abstracts

Full schedule

	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
09:00 - 09:30		Opening
09:30 - 10:00		Mantovani	Heunen	Rovelli	Rosolini	Joyal	Garner
10:00 - 10:30		Mantovani	Heunen	Rovelli	North	Joyal	Garner
10:30 - 11:00		Gran	Cockett	Corner	Taylor	Berger	Awodey
11:00 - 11:30		Coffee Break
11:30 - 12:00		Bourke	Cruttwell	Cheng	Štěpán	van den Berg	Lucyshyn-Wright
					Roff
					Bardomiano Martínez
12:00 - 12:30		Tendas	Koudenburg	Lobbia	Lucatelli Nunes	Yuksel	Hofmann
					Doña Mateo
					Jurka
12:30 - 13:00		Perrone	Kock	Fiore	Ranchod	Sava	Tholen
					Arkor
					Leoncini
13:00 - 15:00		Lunch
15:00 - 15:30		Pirashvili	Ching	Excursion	Paré	López Franco
		Maehara	Di Meglio			Loregian
		Siqueira	Nasu			Hora
15:30 - 16:00		Fernández Fariña	Lanfranchi			Ramos Pérez
		Markakis	Lindenhovius			Reader
		Myers	Ramos González			Osmond
16:00 - 16:30		Culot	Lemay		Adámek	Ray
		Mertens	Trnka
		Mesiti	Pronk			Kawase
16:30 - 17:00		Coffee Break			Coffee Break
17:00 - 17:30		Egner	Poster Session		Poster Session	Femić
		Hadzihasanovic				Caviglia
		Hermans				Clarke
17:30 - 18:00		Vienne				Mancini
		Martínez Carpena				Ko

18:00 - 18:30
18:30 - 19:00	Welcome Drink
19:00 - 19:30			Tapas Night
19:30 - 20:00
20:00 - 20:30
20:30 - 21:00					Social Dinner
21:00					Social Dinner

Daily schedule

	Monday
09:00 - 09:30	Opening
09:30 - 10:00	Mantovani From Yoneda’s additive regular spans to fibred cartesian monoidal opfibrations: a route towards a 2-dimensional cohomology of groups
10:00 - 10:30
10:30 - 11:00	Gran Conditional flatness and fiberwise localizations in semi-abelian categories
11:00 - 11:30	Coffee Break
11:30 - 12:00	Bourke Two-dimensional limit theories enhanced
12:00 - 12:30	Tendas Enriched universal algebra
12:30 - 13:00	Perrone When limits are limits: Topological enrichment with an application to probability
13:00 - 15:00	Lunch
	Aula 2	Aula Magna	Aula 3
15:00 - 15:30	Pirashvili A new centre for crossed modules	Maehara Weak equivalences between algebraic weak ω-categories	Siqueira Toposes as standard universes
15:30 - 16:00	Fernández Fariña Universal central extensions of braided crossed modules of groups	Markakis Opposites and hom weak ω-categories	Myers Toposes as Lex-Presentable categories
16:00 - 16:30	Culot Non-additive derived functors: a chain complex approach	Mertens Non-cartesian internalisation and enriched quasi-categories	Mesiti Aspects of 2-dimensional Elementary Topos Theory
16:30 - 17:00	Coffee Break
17:00 - 17:30	Egner Galois theory and homology in quasi-abelian functor categories	Hadzihasanovic Pasting diagrams beyond acyclicity	Hermans Virtual double categories as coloured box operads
17:30 - 18:00	Vienne Associativity of cosmash products in non-associative algebras	Martínez-Carpena Limit-sketchable infinity categories

	Tuesday
09:30 - 10:00	Heunen Dagger category theory
10:00 - 10:30	Heunen Dagger category theory
10:30 - 11:00	Cockett Drazin inverses in categories
11:00 - 11:30	Coffee Break
11:30 - 12:00	Cruttwell Connections in algebraic geometry via tangent categories
12:00 - 12:30	Koudenburg Formal Day convolution and low-dimensional monoidal fibrations
12:30 - 13:00	Kock The universal property of the decomposition space of quasisymmetric functions
13:00 - 15:00	Lunch
	Aula 2	Aula Magna	Aula 3
15:00 - 15:30	Ching Differential bundles in Goodwillie calculus	Di Meglio Axioms for the category of finite-dimensional Hilbert spaces and linear contractions	Nasu Double catetgories of relations relative to factorization systems
15:30 - 16:00	Lanfranchi The Grothendieck construction in the context of tangent categories	Lindenhovius Semicartesian categories of relations	Ramos González Double categorical presentations of Grothendieck topoi
16:00 - 16:30	Lemay Free differential modalities	Trnka Operads colored by categories	Pronk The arrows between double category sites for Grothendieck topoi
16:30 - 17:00	Coffee Break
17:00 - 18:00	Poster Session Ahuja Benjamin Cherradi Duliński Forsman Guallart Hautekiet Hughes Kim Krenz Maldonado Herrera Martínez Ruiz Rosenfield Ruit Slattery Townsend Wullaert Xarez Zorman
19:00 -	Tapas Night

	Wednesday
09:30 - 10:00	Rovelli Limits and colimits in (∞, n)-category theory
10:00 - 10:30	Rovelli Limits and colimits in (∞, n)-category theory
10:30 - 11:00	Corner A higher-dimensional Eckmann–Hilton argument
11:00 - 11:30	Coffee Break
11:30 - 12:00	Cheng Configuration spaces of points and degenerate higher categories
12:00 - 12:30	Lobbia Sketches and classifying Logoi
12:30 - 13:00	Fiore An algebraic combinatorial approach to the abstract syntax of opetopic structures
13:00 - 15:00	Lunch
15:00 -	Excursion

	Thursday
09:30 - 10:00	Rosolini Ultracompletions
10:00 - 10:30	North Coalgebraic enrichment of categorical W-types
10:30 - 11:00	Taylor Ordinals as Coalgebras: some missing categorical techniques
11:00 - 11:30	Coffee Break
	Aula 2	Aula Magna	Aula 3
11:30 - 12:00	Štěpán Lax adjunctions and lax-idempotent pseudomonads	Roff Bigraded path homology and the magnitude-path spectral sequence	Bardomiano Martínez The language of a model category
12:00 - 12:30	Lucatelli Nunes Doubly-infinitary distributive categories	Doña Mateo Pushforward monads	Jurka An enriched small object argument over a cofibrantly generated base
12:30 - 13:00	Ranchod Lawvere theories and symmetric operads as substitution algebras: Free constructions for abstract syntax	Arkor The pullback theorem for (relative) monads	Leoncini Homotopy colimits enriched over a general base
13:00 - 15:00	Lunch
15:00 - 15:30	Paré The difference calculus for functors on presheaves
15:30 - 16:00	Paré The difference calculus for functors on presheaves
16:00 - 16:30	Adámek What is a congruence?
16:30 - 17:00	Coffee Break
17:00 - 18:00	Poster Session Bartoš Chabertier Cioffo Das Duvieusart Iwaniack Krishna Lee Li Luckhardt Miranda Moreau Pistalo Prezado Reimaa Romö Saadia Vokřínek Zwanziger
20:30 -	Social Dinner

	Friday
09:30 - 10:00	Joyal Free bicompletion of categories and ∞-categories
10:00 - 10:30	Joyal Free bicompletion of categories and ∞-categories
10:30 - 11:00	Berger Perfect moment categories, cocartesain comonads, and Joyal duality
11:00 - 11:30	Coffee Break
11:30 - 12:00	van den Berg Recent progress in the theory of effective Kan fibrations in simplicial sets
12:00 - 12:30	Yuksel Toposes vs Localic Groupoids: A unified treatment of covering theorems
12:30 - 13:00	Sava The derivator associated to a dg-category
13:00 - 15:00	Lunch
	Aula 2	Aula Magna	Aula 3
15:00 - 15:30	López Franco Slack Hopf monads	Loregian Bicategories for automata theory	Hora Quotient toposes of discrete dynamical systems
15:30 - 16:00	Ramos Pérez Modules over invertible 1-cocycles	Reader Cotraces and inner product enrichment of bicategories	Osmond On a (terminally connected, pro-etale) factorization system for geometric morphisms
16:00 - 16:30	Ray Categories of modules, comodules and contramodules over representations		Kawase Formalizing accessibility and duality in a virtual equipment
16:30 - 17:00	Coffee Break
17:00 - 17:30	Femić Gray multicategories and left and right Gray skew-multicategories	Caviglia 2-stacks over bisites	Clarke The algebraic weak factorisation system of twisted coreﬂections and delta lenses
17:30 - 18:00	Mancini On the representability of actions of non-associative algebras	Ko Limits in Enhanced Simplical Categories	Sharma A 2-categorical model of oriented 1-cobordisms.

	Saturday
09:30 - 10:00	Garner A monadic approach to non-commutative Stone duality
10:00 - 10:30
10:30 - 11:00	Awodey Algebraic type theory
11:00 - 11:30	Coffee Break
11:30 - 12:00	Lucyshyn-Wright V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases
12:00 - 12:30	Hofmann On predicate liftings and lax extensions of functors
12:30 - 13:00	Tholen Cauchy convergence for normed categories

International Category Theory Conference CT2024

Schedule and Abstracts

Full schedule

Daily schedule

Contact

In collaboration with