The Junior Algebra Seminar is a seminar at Warwick for young researchers in algebra, with a particular focus on algebraic topology, group theory, and associated areas.
In Term 1, the seminar will be held on Mondays 2pm-3pm in B1.01, Zeeman Building.
Roughly, odd weeks will focus on group theory and related areas, whilst even weeks will focus on algebraic topology and related areas.
The organisers of the seminar are Mak Pehar and Dan Roebuck (algebraic topology), and Michael Cavaliere (group theory). Please get in touch with the relevant organisers if you would like to give a talk or suggest a speaker!
Proofs and constructions in (higher) category theory can be unintuitive when written ordinarily; so we reach for alternative systems of notation, such as commutative diagrams or string diagrams. (Homotopy) type theory provides another such system, in which we imagine consuming given resources to produce others. In this talk, we will motivate homotopy type theory by considering each part of the slogan "homotopy type theory is Martin-Löf dependent type theory with intensional identity types, univalence, and higher inductive types".
