普遍代数学は代数系について圏論的、モデル理論的に言及する理論です。僕はこの理論を公理系によって定まる幾何学、特に有限幾何や非デザルグ幾何へ応用したいと考えています。