1: \begin{definition}

2: \label{df:sqlm}

3: A \chsq\ has a limit

4: \footnote{This definition differs

5: from the standard categorical definition of a direct limit, however

6: Theorem\rw{pr:spmp} indicates that our definition implies the standard one. We expect that

7: both definitions are equivalent.}

8: : $\dlm\scA = \xbA$, where $\xbA$ is a \chcpl, if

9: there exist \chmp s $\xbAi\xrightarrow{\xbtfi}\xbA$ such that

10: they form commutative triangles

11: %

12: \xlee{ae1.10e1}

13: \cmtr{\xbfi}{\xbtfio}{\xbtfi}{\xbAi}{\xbAio}{\xbA}

14: \xeee

15: %

16: %$\xbtfi \hteqv \xbtfio\,\xbfi$

17: and $\lmii\yordhr{\Cnv{\xbtfi}} =\pinft$.

18: \end{definition}

19: