Mathematical Structures in Computer Science

Research Article

A remark on the theory of semi-functors

R. Hoofmana1 and I. Moerdijka2

a1 University of Amsterdam Email: [email protected]

a2 University of Utrecht Email: [email protected]


By establishing an appropriate equivalence, we observe that the theory of semi-functors can be fully embedded in the theory of (ordinary) functors. As a result, standard properties and constructions on functors extend automatically to semi-functors.

(Received May 17 1993)

(Revised March 28 1994)