Skip to main content
3 of 3
Bibliographic reference added
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

For a short and painless description of how ultraproducts are colimits see page 6 of this article (it is equivalent, but I found it more readable than the descriptions given in the answers):

H. Mariano, F. Miraglia, Profinite structures are retracts of ultraproducts of finite structures, Reports on Mathematical Logic 42 (2007) pp169-182 (abstract, pdf)

The article contains a nice application of this categorical description of ultraproducts...

Peter Arndt
  • 12.3k
  • 3
  • 58
  • 94