Constructive Theory of Generalized Ordered Sets
This mathematical research was about developing a constructive theory of order that aims to replace and generalize the weak order on a partially
ordered set.
Skills and deliverables: Mathematics, Category Theory, Logic, Research, LaTeX, Technical Writing
