This is an attempt to motivate the introduction of the notions of deductive system (graph with identity arrows and composition) and category through identifying objects with sets of arrows having them as source or as target. Proof-theoretically, this means identifying a proposition with a set of deductions. The results reached here are related to two well-known representations in universal algebra and to the Yoneda Lemma.