We will make the convention that exact categories be skeletally small.
Is this construction (used in a mathematical context) correct? There is something that strikes me as odd in that "be". Should it be "are"? I know I've seen a similar way of using "be" like that, without conjugating the verb, but I'm not completely sure when it should be used.
