These are great! I feel like I'm getting a better intuition for everything from taking another pass over the material with your picture posts. I'm excited to see what you might turn out for the later chapters :)

For what it's worth, I especially liked your exploration of the relation \$${\trianglelefteq} \subseteq P \times Q\$$. I thought that really brought a new angle on what Galois connections are made of.