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

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

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

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

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

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

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

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. In order to help people to find their way to the venue, here is a picture of the entrance: walk up the steps, turn right through the cafe and it will be signposted.

The afternoon sessions will be held a few hundred metres away in building B2 of 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.