 In what follows, we distinguish three types of account of what it is to be a fact in the functorial sense and consider some possible roles for facts which have been thought to yield arguments in favor of admitting facts into our inventory of what there is. Since the category of facts is a formal category, a semantic or ontological category, we then look in some detail at different formal theories of facts and their ilk.