Search results

; (Johnstone [1982]): A Boolean algebra is a [[filtered colimit]] of finite power set algebras. ...filtered limits of finite power set algebras, and infinite Stone spaces as filtered limits of finite sets. Thus if one starts with the finite sets and asks ho