Timeline for Is the ultraproduct concept fundamentally category-theoretic?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10, 2010 at 9:52 | comment | added | Andrej Bauer | Perhaps I should have mentioned the "obvious" fact that the ultraproduct construction has a topos-theoretic analogue, namely, the filter-quotient construction (which happens to be an ultrafilter-quotient). You can read about it in e.g., MacLane and Moerdijk's "Sheaves in geometry and logic". | |
| Jan 10, 2010 at 7:43 | history | answered | Andrej Bauer | CC BY-SA 2.5 |