User:Leigh.Samphier/CategoryTheory/Completed

Inclusion Functor

Definition:Inclusion Functor

Inclusion Functor is Functor

Lattices

Lattice Isomorphism is Isomorphism in Category Lat

Frames and Locales

Definition:Category of Frames

Category of Frames is Category

Definition:Category of Locales

Category of Locales is Category

Definition:Category of Locales with Localic Mappings

Category of Locales with Localic Mappings is Category

Category of Locales with Localic Mappings is Isomorphic to Category of Locales

Definition:Frame of Open Sets Functor

Frame of Open Sets Functor is Contravariant

Definition:Locale of Open Sets Functor

Locale of Open Sets Functor is Covariant

Definition:Localic Functor

Localic Functor is Covariant

Distributive Lattices

Definition:Category of Distributive Lattices

Category DLat is Full Subcategory of Lat

Category of Distributive Lattices is Category