All pages (User namespace)
Jump to navigation
Jump to search
- User:Leigh.Samphier
- User:Leigh.Samphier/CategoryTheory
- User:Leigh.Samphier/CategoryTheory/Definition:Frame of Open Sets Functor
- User:Leigh.Samphier/CategoryTheory/Frame of Open Sets Functor is Contravariant
- User:Leigh.Samphier/CategoryTheory/Top-to-Frm Functor is Contravariant Functor
- User:Leigh.Samphier/Common
- User:Leigh.Samphier/Common/Induction Example
- User:Leigh.Samphier/Green
- User:Leigh.Samphier/Include
- User:Leigh.Samphier/Matroids
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)/Formulation 1
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)/Formulation 2
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)/Formulation 3
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)/Formulation 4
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)/Formulation 5
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)/Formulation 6
- User:Leigh.Samphier/Matroids/Axiom:Base Axiom (Matroid)/Formulation 7
- User:Leigh.Samphier/Matroids/Completed
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Axiom B1 Iff Axiom B3
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Axiom B1 Iff Axiom B4
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Axiom B1 Implies Set of Matroid Bases
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Axiom B3 Iff Axiom B7
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Axiom B4 Iff Axiom B5
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 1
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 2
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 3
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 4
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 5
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 6
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 7
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Set of Matroid Bases Iff Axiom B1
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Set of Matroid Bases Implies Axiom B1
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms/Formulation 1 Implies Formulation 2
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms/Formulation 2 Implies Formulation 1
- User:Leigh.Samphier/Matroids/Formulation 1 Rank Axioms Implies Rank Function of Matroid
- User:Leigh.Samphier/Matroids/Formulation 1 Rank Axioms Implies Rank Function of Matroid/Lemma 1
- User:Leigh.Samphier/Matroids/Formulation 1 Rank Axioms Implies Rank Function of Matroid/Lemma 2
- User:Leigh.Samphier/Matroids/Formulation 1 Rank Axioms Implies Rank Function of Matroid/Lemma 3
- User:Leigh.Samphier/Matroids/Formulation 1 Rank Axioms Implies Rank Function of Matroid/Lemma 4
- User:Leigh.Samphier/Matroids/Formulation 1 Rank Axioms Implies Rank Function of Matroid/Proof 1
- User:Leigh.Samphier/Matroids/Formulation 1 Rank Axioms Implies Rank Function of Matroid/Proof 2
- User:Leigh.Samphier/Matroids/Matroid Rank Function Iff Matroid Rank Axioms
- User:Leigh.Samphier/Matroids/Rank Function of Matroid Satisfies Formulation 1 Rank Axioms
- User:Leigh.Samphier/Matroids/Rank Function of Matroid Satisfies Formulation 2 Rank Axioms
- User:Leigh.Samphier/OrderTheory
- User:Leigh.Samphier/OrderTheory/Completed
- User:Leigh.Samphier/OrderTheory/Definition:Category of Compact Completely Regular Locales
- User:Leigh.Samphier/OrderTheory/Definition:Completely Regular Locale
- User:Leigh.Samphier/OrderTheory/Definition:Galois Connection
- User:Leigh.Samphier/P-adicNumbers
- User:Leigh.Samphier/P-adicNumbers/Characterization of Primitive m-th Root of Unity in P-adic Numbers
- User:Leigh.Samphier/P-adicNumbers/Cyclic Group of All n-th Roots of Unity
- User:Leigh.Samphier/P-adicNumbers/Group of All Roots of Unity
- User:Leigh.Samphier/P-adicNumbers/Power of Primitive Root of Unity is Primitive Root of Unity for Divisor
- User:Leigh.Samphier/P-adicNumbers/Root of Unity is Primitive Root for Smaller Power
- User:Leigh.Samphier/Red
- User:Leigh.Samphier/Refactor
- User:Leigh.Samphier/Sandbox
- User:Leigh.Samphier/StoneSpaces
- User:Leigh.Samphier/Templates/CommonHeader
- User:Leigh.Samphier/Templates/TFAE
- User:Leigh.Samphier/Templates/TFAENoCat
- User:Leigh.Samphier/Templates/Test
- User:Leigh.Samphier/Templates/Test/CategoryEquivalenceProofs
- User:Leigh.Samphier/Templates/Test/CategoryEquivalentAxioms
- User:Leigh.Samphier/Templates/Test/CategoryEquivalentDefinitions
- User:Leigh.Samphier/Todo
- User:Leigh.Samphier/Topology
- User:Leigh.Samphier/Topology/Category of Locales with Localic Mappings is Category
- User:Leigh.Samphier/Topology/Category of Locales with Localic Mappings is Isomorphic to Category of Locales
- User:Leigh.Samphier/Topology/Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 1
- User:Leigh.Samphier/Topology/Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 2
- User:Leigh.Samphier/Topology/Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 3
- User:Leigh.Samphier/Topology/Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 4
- User:Leigh.Samphier/Topology/Completed
- User:Leigh.Samphier/Topology/Composite Localic Mapping is Localic Mapping
- User:Leigh.Samphier/Topology/Definition:Category of Compact Hausdorff Spaces
- User:Leigh.Samphier/Topology/Definition:Category of Locales
- User:Leigh.Samphier/Topology/Definition:Category of Locales with Localic Mappings
- User:Leigh.Samphier/Topology/Definition:Complete Lattice
- User:Leigh.Samphier/Topology/Definition:Continuous Map (Locale)
- User:Leigh.Samphier/Topology/Definition:Continuous Map (Locale)/Also Defined As
- User:Leigh.Samphier/Topology/Definition:Continuous Map (Locale)/Localic Mapping
- User:Leigh.Samphier/Topology/Definition:Frame Homomorphism of Continuous Mapping
- User:Leigh.Samphier/Topology/Definition:Frame of Topological Space
- User:Leigh.Samphier/Topology/Definition:Locale (Lattice Theory)
- User:Leigh.Samphier/Topology/Definition:Locale (Lattice Theory)/Frames vs Locales
- User:Leigh.Samphier/Topology/Definition:Locale of Topological Space
- User:Leigh.Samphier/Topology/Definition:Localic Mapping
- User:Leigh.Samphier/Topology/Definition:Stone-Čech Compactification
- User:Leigh.Samphier/Topology/Definition:Stone-Čech Compactification/Locales
- User:Leigh.Samphier/Topology/Definition:Stone-Čech Compactification/Topological Spaces
- User:Leigh.Samphier/Topology/Dual Pairs (Order Theory)
- User:Leigh.Samphier/Topology/Frame Homomorphism is Lower Adjoint of Unique Galois Connection
- User:Leigh.Samphier/Topology/Frame Homomorphism of Continuous Mapping is Frame Homomorphism
- User:Leigh.Samphier/Topology/Frame of Topological Space is Frame
- User:Leigh.Samphier/Topology/Identity Mapping is Localic Mapping
- User:Leigh.Samphier/Topology/Locale of Topological Space is Locale
- User:Leigh.Samphier/Topology/Nagata-Smirnov Metrization Theorem
- User:Leigh.Samphier/Topology/Sober Space need not be T1
- User:Leigh.Samphier/Topology/T1 Space need not be Sober
- User:Leigh.Samphier/Topology/T1 and Sober Space need not be T2
- User:Leigh.Samphier/Topology/T3 Space is Fully T4 iff Paracompact