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: raymond@fwi.uva.nl

a2 University of Utrecht Email: moerdijk@math.ruu.nl

Abstract

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)