在数学方面，Heyting代数是一个Boole代数一般化的偏序集，完备Heyting代数(即Frame)是研究无点化拓扑的中心主体.本文主要从以下几个方面论述了Heyting代数中的滤子与同构定理及其范畴Heyt：第一章研究了Heyting代数中的各种滤子.第二章研究了由滤子生成的同余关系，以及Heyting代数同态和同构定理.第三章研究了Heyting代数中的模糊滤子. 第四章研究了范畴Heyt，较为系统地讨论了Heyt范畴的性质，考察了Heyt范畴的截节、收缩、单态射、满态射、极端单态射、极端满态射、常值态射、余常值态射、零态射等特殊态射，以及始对象、终对象、零对象等特殊对象，给出了它们的具体刻画，得出Heyt范畴是平衡范畴和点化范畴.给出了Heyt范畴中等子、余等子、乘积、极限和逆极限的结构，证明了Heyt范畴是完备范畴.