Update old reference to Category in CHANGELOG.md (#1824)

This corrects an error in the `CHANGELOG` for PR#1735, which left a dangling reference to the old `Category.*` hierarchy.

Author: jamesmckinna

CHANGELOG.md

@@ -1240,13 +1240,6 @@ Other minor changes
   record IsRingWithoutOneIsoMorphism (⟦_⟧ : A → B) : Set (a ⊔ b ⊔ ℓ₁ ⊔ ℓ₂)
   ```
 
-* Added new functions in `Category.Monad.State`:
-  ```
-  runState  : State s a → s → a × s
-  evalState : State s a → s → a
-  execState : State s a → s → s
-  ```
-
 * Added new proofs in `Data.Bool.Properties`:
   ```agda
   <-wellFounded : WellFounded _<_
@@ -1697,6 +1690,13 @@ Other minor changes
   ++-assoc : (xs ++ ys) ++ zs ≋ xs ++ (ys ++ zs)
   ```
 
+* Added new functions in `Effect.Monad.State`:
+  ```
+  runState  : State s a → s → a × s
+  evalState : State s a → s → a
+  execState : State s a → s → s
+  ```
+
 * Added new proofs in `Function.Construct.Symmetry`:
   ```
   bijective     : Bijective ≈₁ ≈₂ f → Symmetric ≈₂ → Transitive ≈₂ → Congruent ≈₁ ≈₂ f → Bijective ≈₂ ≈₁ f⁻¹