Mongo noob question: how to change the value of a field on a specific child?

Question

Python

Let's say we have a structure like this:

[
    {
        "division_id": 12, 
        "players": [
            {
                "card_list": {}, 
                "first_goal": {}, 
                "player_id": 1, 
                "statistics": {}
            }, 
            {
                "card_list": {}, 
                "first_goal": {}, 
                "player_id": 2, 
                "statistics": {}
            }
        ]
    }
]

How to find a specific player by id? That is, I find this division and try to update the data via update, but I can't remember how to add them to a specific player. It's spinning right on my tongue, but something doesn't come to mind.
What not to suggest:
1) Update everything: data is taken from different places
2) Adding the player id as a key is not what I need.

Answer 1

db.collection.update({division_id: 12, "players.player_id": 1}, {$inc: {"players.$.card_list": 1}})