Topoi Ch3 Part 3
Equalizers and coequalizers are more evidence Goldblatt is the right preliminary mathematical path for the CTMU. The strong relationship between co-equalizers and equivalence classes ties co-equalizers to abstraction. Equalizers appear tied to definitive data points. This pair resembles both the theory development process and the conspansion processes.
I wish I could say more. Goldblatt is a gentle introduction to Topos theory. Although the hill is tall and steep this seems the best path forward. I’ll have interesting applications for y’all in the next few weeks (I hope).