7. Algebra 2



Monotone Galois connections (adjunctions)

Upper and lower bounds, infimum and supremum

Complete lattices

Fixed point theorem

Transport of closure

Preorder generated by a relation

Finite sets

Generated equivalence relations, and more

Well-founded relations

Drafts of more texts, to be reworked later

Diverse texts ready but not classified

Contributions to Wikipedia

I wrote large parts of the Wikipedia article on Foundations of mathematics (Sep. 2012 - before that, other authors focused on the more professional and technical article Mathematical logic instead; the Foundations of mathematics article is more introductory, historical and philosophical) and improved the one on the completeness theorem.



My comment on the virus