Learning Categories with Double Marking