Programme

The scientific programme is now available, click here for the PDF, or see below.

On Sunday evening, there will be an informal welcome drink for those who would like to attend.

The scientific programme will begin on Monday 9am and end on Saturday at 12.30pm.

From Monday to Friday, the talks will take place all day, with the exception of Wednesday when there will group excursions after lunch.

Click the days below to show the programme for that specific day, and then click here to return to the full programme. Clicking a name will open the relevant abstract.

	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
8:45	Opening
9:00	Henry	Reggio	Barwick	Clementino	Sarazola	Lemay
9:30	Henry	Clarke	Barwick	Clementino	Sarazola	Lemay
10:00	Di Liberti	Fujii	Haugseng	van der Linden	Menni	Kudzman-Blais
10:30	Coffee
11:00	Awodey	Hofmann	Chorny	Rodelo	Adámek	Arkor
11:30	van den Berg	Lowen	Stenzel	Mesiti	Rosický	Perrone
12:00	Tarantino	Lowen	Paoli	Caviglia	Tendas	Leinster
12:30	Lunch
14:30	Osmond	Wrigley	Excursion	Ching	Vooys
	Manuell	Stubbe		Willerton	Seip
	Ranchod	Perutka		Pasquali	Weinberger
15:00	Rogers	Saadia		Abellán	Schwarz
	Jaz Myers	Montoli		Shah-Mohammed	Hughes
	Li	Brown		Moreau	Maehara
15:30	Bruske	Yuksel		Blom	Garcia-Martinez
	Aravantinos-Sotiropoulos	Egner		Zorman	Cox
	Spadetto	Jelínek		Bevilacqua	Hackney
16:00	Coffee			Coffee
16:30	Vasilakopoulou	Hamad		Karazeris	Chanavat
	Ferguson	Mattenet		Kruml	Luckhardt
	Doña Mateo	Offord		Kanalas	Das
16:40	d'Espalungue	Lindan		Prezado	Doherty
	Grossman	Forsman		Kalugins	Pasqualone
	Lanfranchi	Benjamin		Capucci	Aristote
16:50	Nasu	Desrochers		Hora	Pradal
	Campanini	Culot		Opršal	De Klerck
	Theart	Hadzihasanovic		Feierabend	Mohamed
17:00	Siqueira
	Mancini
	Schroeder
17:10	Kern
	Reimaa
	Sava
17:20	Femic
	Duvieusart
	Belmonte
19:00				Conference dinner

	Monday
8:45	Opening	Divadlo Bolka Polívky
9:00	Henry Well-pointed endofunctors on $(\infty, 1)$-categories
10:00	Di Liberti Call doctrines by your name
10:30	Coffee
11:00	Awodey Towards the Effective $\infty$-Topos
11:30	van den Berg Arrow algebras
12:00	Tarantino Where do ultracategories come from?
12:30	Lunch
	Room B2.13	Room B2.23	Room B2.43
14:30	Osmond Morphisms and comorphisms of sites: a double-categorical approach	Manuell Bicategories of lax fractions	Ranchod Substituion of Substructural Theories
15:00	Rogers Grothendieck coverages on free monoids	Jaz Myers A double barreled approach to composing dynamical systems and their morphisms	Li Extensional concepts in intensional type theory, revisited
15:30	Bruske Compactological Spaces: Constructing condensed mathematics from classical topology	Aravantinos-Sotiropoulos Fundamental Properties of Monads in Double Categories	Spadetto The Dialectica construction for comprehension categories
16:00	Coffee
16:30	Vasilakopoulou The commuting tensor product of multicategories	Ferguson Monilmorphisms and relative extensivity	Doña Mateo An adjunction between categories of monads
16:40	d'Espalungue Category Theory within a $2$-Category: Internal Enrichment, Presheaf Objects and Convolution Products	Grossman Pretorsion Theories on $(\infty, 1)$-Categories	Lanfranchi The formal theory of vector fields for tangentads
16:50	Nasu Categorical logic meets double categories	Campanini Building pretorsion theories from torsion theories	Theart Extensive Morphisms
17:00	Siqueira Double functorial representation of indexed monoidal structures	Mancini Weak action representability and categories of algebras	Schroeder Mnemetic Lax Idempotent Monads and Compactness
17:10	Kern Codiscrete cofibrations vs. iterated discrete fibrations for $(\infty, \ell)$-profunctors and $\ell$-congruences	Reimaa An intrinsic approach to kernels in general categories	Sava Enhancements of quivers with relations
17:20	Femic Premonoidal and Kleisli double categories	Duvieusart The monad of factorizations and its decomposition	Belmonte Lax Monoidal Structures from Monoidal Structures

	Tuesday
	Divadlo Bolka Polívky
9:00	Reggio $\mathsf{Pos}$-pretoposes and compact ordered spaces
9:30	Clarke A new framework for limits in double categories
10:00	Fujii Enrichment and families over virtual double categories
10:30	Coffee
11:00	Hofmann Notions of Cauchy (co)completeness for normed categories
11:30	Lowen Categories or Spaces? Categorical Concepts in Noncommutative Geometry
12:30	Lunch
	Room B2.13	Room B2.23	Room B2.43
14:30	Wrigley Quasi-homeomorphisms of topological groupoids	Stubbe When is $\mathsf{Cat}(\mathcal{Q})$ cartesian closed?	Perutka $2$-dimensional commutativity and Fox's theorem: sketchy approach
15:00	Saadia Extending strong conceptual completeness through virtual ultracategories	Montoli Homological lemmas in a non-pointed context	Brown Weights for oplax colimits
15:30	Yuksel Locales are dense in Toposes	Egner Action representability of internal $2$-groupoids	Jelínek Bicolimit Presentations of Type Theories
16:00	Coffee
16:30	Hamad Generalised ultracategories and conceptual completeness of geometric logic (work in progress)	Mattenet The cohomology objects of a semi-abelian variety are small	Offord Eckmann-Hilton Arguments in Weak $\omega$-categories
16:40	Lindan Exploring dualities beyond sound doctrines	Forsman In Regular Protomodular Categories with an Initial Object, Noetherian Objects are Hopfian and Closed Under Subobjects, Quotients and Extensions	Benjamin Naturality in Weak $\omega$-categories
16:50	Desrochers Extending an arithmetic universe by an object	Culot Projective crossed modules in semi-abelian categories	Hadzihasanovic Natural equivalences and weak invertibility of higher-categorical contexts

	Wednesday
	Divadlo Bolka Polívky
9:00	Barwick Cographs, twofold symmetric monoidal structures, and factorization algebras in quite a lot of generality
10:00	Haugseng Unfolding of symmetric monoidal $(\infty, n)$-categories
10:30	Coffee
11:00	Chorny Homotopical recognition of diagram categories
11:30	Stenzel The higher algebra of monoidal bicategories
12:00	Paoli A higher categorical approach to the André-Quillen cohomology of an $(\infty, 1)$-Category
12:30	Lunch and excursion

	Thursday
	Divadlo Bolka Polívky
9:00	Clementino On lax comma categories
10:00	van der Linden A Kaluzhnin-Krasner embedding theorem for nonassociative algerbas?
10:30	Coffee
11:00	Rodelo $\mathsf{Ord}$-Mal'tsev categories
11:30	Mesiti Fibrational approach to Grandis exactness for $2$-categories
12:00	Caviglia Structures for the category of torsion theories
12:30	Lunch
	Room B2.13	Room B2.23	Room B2.43
14:30	Ching Closed categories, pro-operads and Goodwillie calculus	Willerton Metric spaces, entropic spaces and convexity	Pasquali Relational doctrines, quotient completions and projectives
15:00	Abellán $(\infty, 2)$-Topoi and descent	Shah-Mohammed Parializations of Markov categories	Moreau Profinite completions and clones
15:30	Blom Lax idempotent monads in homotopy theory	Zorman Infinite and Non-Rigid Reconstruction Theory	Bevilacqua Properties of coalgebraic models of a Lawvere theory
16:00	Coffee
16:30	Karazeris Compact, Hausdorff and locally compact locales in toposes	Kruml Categories for industrial planning	Kanalas Positively closed topos-valued models
16:40	Prezado Unified approach to pointfree $T_0$-spaces	Kalugins Representables in fuzzy category theory	Capucci $2$-classifiers for $2$-algebras
16:50	Hora Topoi of Automata	Opršal A categorical perspective on the complexity of satisfying constraints	Feierabend Confluence of Term Rewriting Systems with Variable Binding
19:00	Conference dinner

	Friday
	Divadlo Bolka Polívky
9:00	Sarazola Double categorical equivalences
10:00	Menni Level é
10:30	Coffee
11:00	Adámek Strongly Finitary Metric Monads are Too Strong
11:30	Rosický Stability from the categorical point of view
12:00	Tendas Enriched categorical logic and accessibility
12:30	Lunch
	Room B2.13	Room B2.23	Room B2.43
14:30	Vooys Immersions, Submersions, Local Diffeomorphisms, and Relative Cotangent Complexes in Tangent Categories	Seip A Constructive Small Object Argument	Weinberger Cocompleteness of synthetic $(\infty, 1)$-categories
15:00	Schwarz Principal bundles in join restriction categories	Hughes Internal categories, algebraic model structures and type theory	Maehara Upgrading equivalences in a weak $\omega$-category to coherent ones
15:30	Garcia-Martinez Categorical-algebraic characterisations of Lie algebras	Cox A new tool for detecting cofibrant generation	Hackney Actions of partial groups, and the higher Segal conditions
16:00	Coffee
16:30	Chanavat Gray products of diagrammatic $(\infty, n)$-categories	Luckhardt Giry monad revisited	Das Schemes relative to Actegories
16:40	Doherty Cartesian monoidality of the cubical Joyal model structure	Pasqualone Posites: The Foundation of Factorization Homology	Aristote Open power-objects in categories of algebras
16:50	Pradal A study of Kock's fat Delta	De Klerck Between $\mathsf{Set}$ and $\mathsf{Bool}$: Categories of Aristotelian diagrams	Mohamed Chase-Sweedler Galois theory in additive monoidal categories

	Saturday
	Divadlo Bolka Polívky
9:00	Lemay Differential Graded Algebras in Differential Categories
10:00	Kudzman-Blais Linearly Distributive Fox Theorem
10:30	Coffee
11:00	Arkor The three-dimensional structures formed by monoidal categories, bicategories, double categories, etc.
11:30	Perrone Categories of relations which compose independently
12:00	Leinster The magnitude of a presheaf

Venue

The conference will be held at two venues in the city centre.

The morning sessions will be held at Sál Břetislava Bakaly (entrance via Cafe Jaga) located at Žerotínovo nám. 533/6, 602 00 Brno-střed.

The afternoon sessions will be held a few hundred metres away at the Faculty of Arts of Masaryk University, located at Arne Nováka 1.

Map of Relevant Locations

The conference venues are marked 1 and 2. Click here to open the map in a new tab.