Masaryk University Algebra Seminar

The topics of the talks will belong most likely to one of these families: category theory and categorical logic, algebraic topology and homotopy theory, poset theory.

The seminar takes place at the Mathematics department and is also live on Zoom every Wednesday at 14.00 CET. The password of the meeting is BAS20. Check out some videos on our Youtube channel. Each session will be approx. 1h long.

The table below comes with some additional material: an abstract (click on the title of the talk), the slides () and a video ().

Organizers: Jiří Rosický and John Bourke.

If you would like to be a speaker, or you want to contact the organizers of the seminar, you can reach us via email.

Date	Title	Speaker	Material
	2020
30.04	A topos‐theoretic proof of Shelah's eventual categoricity conjecture.	Christian Espíndola
07.05	Topos-theoretic completeness theorems.	Christian Espíndola
14.05.	A unified framework for notions of algebraic theory.	Soichiro Fujii
21.05	Towards a 2-dimensional spectral construction.	Axel Osmond
28.05	Globular Multicategories with Homomorphism Types.	Christopher Dean
18.06	The gregarious model structure for double categories.	Alexander Campbell
16.07	Characterization of Lax Orthogonal Factorization Systems.	Charles Walker
10.09.	Gray tensor products and lax functors of (∞,2)-categories.	Edoardo Lanari
24.09.	Infinity-categorical comprehension schemes.	Raffael Stenzel
08.10.	Oplax Hopf Algebras.	Christina Vasilakopoulou
15.10.	The universal exponentiable arrow.	Taichi Uemura
22.10.	Categoricity in infinite quantifier theories	Christian Espindola
29.10.	Injectivity in metric enriched categories.	Jiří Rosický
05.11.	Enriched Locally Generated Categories.	Ivan Di Liberti
12.11.	Model-theoretic stability in classes of modules.	Marcos Mazaria-Armida
19.11	The stable homotopy hypothesis.	Maru Sarazola
26.11.	Model categories of lcc categories and the gros model of dependent type theory.	Martin Bidlingmaier
10.12.	Accessible infinity-cosmoi.	John Bourke
17.12.	Distributive laws for relative monads.	Gabriele Lobbia
	2021
04.02.	Metric monads.	Jiří Rosický
11.02.	Kan extensions are partial colimits.	Paolo Perrone
18.02.	Distributive laws, pseudodistributive laws and decagons.	Charles Walker
25.02.	Induced stable independence, with applications.	Michael Lieberman
04.03.	Dependently typed algebraic theories.	Chaitanya Leena Subramaniam
11.03.	Simplicial Moore paths are polynomial.	Eric Faber
18.03.	Infinity groupoids in lextensive categories.	Karol Szumilo
25.03.	A model-theoretic look at exponential fields.	Jonathan Kirby
01.04.	C-Varieties of Ordered and Quantitative Algebras.	Jiří Adámek
08.04.	Tangent infinity-categories and Goodwillie calculus.	Michael Ching
15.04.	Independence Relations in Abstract Elementary Categories.	Mark Kamsma
29.04.	Contravariant homotopy theories and Quillen's Theorem A.	Hoang Kim Nguyen
06.05.	Spaces vs Categories, Perfect Maps vs Discrete Fibrations.	Walter Tholen
13.05.	Higher-order algebraic theories and relative monads.	Nathanael Arkor
20.05.	Higher Segal spaces via Higher Excision.	Tashi Walde
27.05.	Proof relevance in higher topos theory.	Raffael Stenzel
10.06.	Skew monoidal categories and the proof-theoretic anatomy of associativity (and unitality).	Noam Zeilberger
17.06.	Lax factorisation systems and categories of partial maps.	Leonardo Larizza
24.06.	Vopenka's principle in infinity-categories.	Giulio Lo Monaco
19.08.	The Nerve of a Relative Monad.	Charles Walker
16.09.	Higher theories and monads.	Nicholas Meadows
30.09.	An orthogonal approach to algebraic weak factorisation systems.	John Bourke
14.10.	Higher homotopy categories and Brown representability.	George Raptis
28.10.	Axioms for the category of Hilbert spaces.	Chris Heunen
11.11.	Infinity-type theories.	Taichi Uemura
18.11.	Homotopy theory for polynomial monads.	Florian de Leger
2.12.	Higher colimit topologies for quasicategories.	Raffael Stenzel
16.12.	Abstract Evolution Systems.	Wieslaw Kubis
	2022
17.2.	Generalized nerves of monads.	Charles Walker
24.2.	Generalizing schemes using cone injectivity.	Tomáš Perutka
03.3.	The jet functor in non-commutative geometry.	Henrik Winther
10.3.	A 2-dimensional model structure for coherent categories.	Kristof Kanalas
17.3.	The (relative) monad-theory correspondence.	Nathanael Arkor
24.3.	The small object argument for cones.	Jan Jurka
7.4.	Higher geometric sheaf theories.	Raffael Stenzel
21.4.	Monoid extensions and the Grothendieck construction.	Graham Manuell
04.5	KZ-monads and Kan injectivity.	Gabriele Lobbia
26.5	Condensed sets.	Tomáš Perutka
09.6	On the computation of codescent objects.	Miloslav Štěpán
16.6	The homotopy theory of substitudes.	David White
23.6	Terms and derivatives of polynomial functors via negation.	Charles Walker
01.9	Elements of infinity-category theory.	Emily Riehl
15.9	An introduction to formal category theory.	Nathanael Arkor
29.9	Higher Lawvere-Tierney topologies.	Raffael Stenzel
13.10.	Flat vs. filtered colimits.	Giacomo Tendas
27.10.	Basic concepts of enriched cofunctors.	Bryce Clarke
3.11.	Virtual reflectivity and orthogonality for accessible categories.	Giacomo Tendas
10.11.	The geometry of coherent topoi and ultrastructures.	Ivan Di Liberti
24.11.	Generalized logics, accessible categories and reflection properties.	Menachem Magidor
8.12.	On compactness, object classifiers and weak Tarski universes.	Raffael Stenzel
	2023
16.2.	Measuring how much a model fails to be positively closed.	Kristof Kanalas
23.2.	Dualities in the theory of accessible categories.	Giacomo Tendas
9.3.	Internal operads and operads colored by a category.	Dominik Trnka
16.3.	The universal property of the category of algebras for a (relative) monad.	Nathanael Arkor
23.3.	Topogenous orders on faithful and amnestic functors.	Minani Iragi
6.4.	A skew approach to enrichment for Gray-categories Part 1.	John Bourke
20.4.	A skew approach to enrichment for Gray-categories Part 2.	Gabriele Lobbia
27.4.	Notions of enriched purity.	Giacomo Tendas
11.5.	A new model for dg-categories.	Elena Dimitriadis Bermejo
18.5.	Factorization systems and double categories.	Miloslav Štěpán
1.6.	Topological quantum field theories and homotopy cobordisms.	Fiona Torzewska
15.6.	Introduction to the theory of 2-derivators.	Nicola Di Vittorio
22.6.	Effective Kan Fibrations.	Benno van den Berg
20.9.	Varieties of Algebras Over Relational Structures.	Jan Jurka
27.9.	Commutativity and Idempotency for Relative Monads.	Andrew Slattery
4.10.	Quasi-limits and lax flexibility.	Miloslav Štěpán
11.10.	A categorical approach to resource-sensitive model theory.	Tomáš Jakl
18.10.	Enriched universal algebra.	Giacomo Tendas
1.11.	Some Remarks on the Interchange in Gray-categories.	Gabriele Lobbia
15.11.	Algebra objects in (virtual) equipments.	Nathanael Arkor
29.11.	Enhanced 2-dimensional limit sketches.	John Bourke
6.12.	Unstable independence from the categorical point of view.	Jiří Rosický