S22 Categorical Logic

online until further notice