Skip to main content
added 181 characters in body; added 33 characters in body
Source Link
Buschi Sergio
  • 4.2k
  • 1
  • 22
  • 26

Yes in general.

See Adámek and Rosicky, Locally Presentable and Accessible Categories Cambridge University Press, Cambridge, (1994).

T. 3.12 p. 143.

Of course "in general" I mean: every "algebraic theory" (many sorted) Set models.

For topological algebraic structures, (like profinite groups) this equivalence isn't true for the Yiftach Barnea example

Yes in general.

See Adámek and Rosicky, Locally Presentable and Accessible Categories Cambridge University Press, Cambridge, (1994).

T. 3.12 p. 143.

Yes in general.

See Adámek and Rosicky, Locally Presentable and Accessible Categories Cambridge University Press, Cambridge, (1994).

T. 3.12 p. 143.

Of course "in general" I mean: every "algebraic theory" (many sorted) Set models.

For topological algebraic structures, (like profinite groups) this equivalence isn't true for the Yiftach Barnea example

Source Link
Buschi Sergio
  • 4.2k
  • 1
  • 22
  • 26

Yes in general.

See Adámek and Rosicky, Locally Presentable and Accessible Categories Cambridge University Press, Cambridge, (1994).

T. 3.12 p. 143.