Ente matematico associato alle coppie di ‘oggetti’ di una data categoria. Si tratta di una nozione astratta e di grande generalità, che comprende come casi particolari molte nozioni classiche, come quelle di applicazione tra due insiemi, di omomorfismo tra due insiemi algebrici, di rappresentazione continua tra due spazi topologici ecc.