horizontal categorification

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences The process by which an algebraic structure is first categorified, realising it as a one-object category with certain properties, and then categories with those properties (and any number of objects) are studied; also, the result of this process.