CT2026 Program

Week at a glance

All times in Baltimore (EDT, UTC−4) · download the full program (PDF)

Invited (55 min) Contributed (25 min) Parallel (25 min) Lightning (7 min) Social / excursion Break

/* No-JS: the client-rendered .ctprog is empty, so hide it and show the plain linear fallback below. Applies only when scripting is disabled. */ .ctprog { display: none; } .sched-fb h2 { margin: 1.6rem 0 .25rem; } .sched-fb h3 { margin: 1.1rem 0 .2rem; font-size: 1.1rem; } .sched-fb h4 { margin: .7rem 0 .1rem; font-size: 1rem; font-weight: 600; } .sched-fb ul { list-style: none; padding-left: 0; margin: .2rem 0 .6rem; } .sched-fb li { margin: .2rem 0; } .sched-fb .t { display: inline-block; min-width: 4em; color: #555; font-variant-numeric: tabular-nums; } .sched-fb .z { color: #207a4c; } .sched-fb .note { font-style: italic; color: #555; margin: .2rem 0; }

All times in Baltimore (EDT, UTC−4) · download the full program (PDF).

Sunday — July 12

Welcome reception only

17:00–19:00 — Reception (Glass Pavilion at Levering Hall)

Monday — July 13

Plenary — Mudd 26

Parallel sessions — from 14:30

Krieger 205

Krieger 170

Krieger 180

Lightning talks — from 16:30

Krieger 205

Krieger 170

Krieger 180

Tuesday — July 14

Plenary — Mudd 26

09:00 Ieke Moerdijk — Duality for categories of presheaves (Zoom)
10:00 Amar Hadzihasanovic — Semi-strictification of (∞,𝑛)-categories
11:00 David Spivak — Categories by Kan extension
11:30 Julie Bergner — Classifying diagrams of double categories with shared isomorphisms
12:00 Robert Paré — Lazy Categories (Zoom)

Parallel sessions — from 14:30

Krieger 205

Krieger 170

Krieger 180

Lightning talks — from 16:30

Krieger 205

Krieger 170

16:30 José Siqueira — Coalgebraic-modal extensions of doctrines (Zoom)
16:40 Yufeng Li — Pointed Univalence (Zoom)
16:50 Owen Milner — Classifying certain group extensions in HoTT

Wednesday — July 15

Morning talks, then excursion

Plenary — Mudd 26

afternoon — Excursion

Thursday — July 16

Plenary — Mudd 26

Parallel sessions — from 14:30

Krieger 205

14:30 Rose Kudzman-Blais — Cartesian Linearly Distributive Categories
15:00 Chun-Yu Lin — Triadic Equivalence of Regular Lawvere Theory (Zoom)
15:30 Claudio Pisani — On the Distributive Law in Cartesian Multicategories (Zoom)

Krieger 170

Krieger 180

Lightning talks — from 16:30

Krieger 205

Krieger 170

Krieger 180

19:00–21:30 — Conference dinner (Scott Bates Commons Banquet Room)

Friday — July 17

Plenary — Mudd 26

Parallel sessions — from 14:30

Krieger 205

Krieger 170

Krieger 180

14:30 Quentin Aristote — Profunctorial algebras (Zoom)
15:00 Elena Caviglia — Monadic Approach to Actions of Internal Categories (Zoom)
15:30 Victoria Vollmer — On the Category of Graded Monads

Lightning talks — from 16:30

Krieger 205

16:30 Arne Mertens — Enriched mapping spaces via necklaces (Zoom)
16:40 Nima Rasekh — From Filter Quotient Model Categories to Type Theory (Zoom)
16:50 Jon Funk — Topos polar decomposition

Krieger 170

Saturday — July 18

Morning only