# Tag Info

Accepted

### Question about "Free-ness" of Free SCWF

The way to get a "free" functor rather than an initial object is to allow the $\mathcal B$ in the category $\mathcal B$-Scwfs to vary. Then there is a forgetful functor $U$ from the category ...
• 1,412
If you start out with a graph $1 \rightrightarrows 2$, then what you get is not the $2$ you'd expect. The result would be equivalent to (in the resulting logic): ...