consider "the finite limits theory of a set", and try to interpret it as a doctrine. contrast this to "the doctrine of a groupoid"...
also, consider taking models of a finite limits theory in the finite limits environment of (say for example) abelian groups rather than sets, as an analog of taking theories of a doctrine in the meta-environment of categories rather than groupoids...
No comments:
Post a Comment