Category:Ockham algebras