A Freyd category consists of two categories C and K with an identity-on-objects functor J: C → K, where: - C has finite products - K is symmetric premonoidal (with a functor ⊗ z ) - J maps finite ...

There’s no shortage of Southern virtuosity in the 404, but don’t miss the outstanding Indian, Italian and Thai cooking — or the amazing wings from an unexpected spot.