You are invited to the group Математическая Логика и Теория Категорий. Click above to join.