What is a derived biring? Part 3

This is an informal seminar on arithmetic algebraic geometry and related fields.

The purpose is to present work in progress or to learn about some existing piece of mathematics. Typically the talks are parts of a longer series.