Text this: Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis