La moderna Teoria delle Categorie si fonda sulla metafora della freccia ed è in grado di reinterpretare tutta la matematica in modo unitario. Ispirandosi ad essa, la collezione proposta di componenti software include Quiver, un "motore a frecce" che riduce enormemente tempi e costi di progettazione e sviluppo.
"Oggetto" è una qualsiasi entità anagrafica che abbia una "individualità": persone, aziende, uffici, conti, collocazioni, ...
"Genere", invece, è un'entità senza individualità che viene trattata a quantità.
"Motivo" è la ragione per cui un genere viene trasferito.
"Freccia" è un trasferimento di un genere tra due oggetti per un motivo.
Esempi notevoli:
Osservazione filosofica non troppo: un ammontare di un certo genere scambiato in una freccia, dà a quel "lotto" una parvenza di individualità poiché non è più, "genericamente", del "grano", bensì quel moggio di grano.
"Quiver" è una raccolta di frecce, anche di tipologie diverse, che descrivono compiutamente un contesto.