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/Corollary of Set Difference Then Union Equals Union Then Set Difference
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Formulation 1 Iff Formulation 4
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Formulation 1 Iff Formulation 5
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Formulation 1 Iff Formulation 7
- User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Formulation 3 Iff Formulation 7
- 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/Independent Subset Contains No Circuit
- User:Leigh.Samphier/Matroids/Independent Subset Contains No Dependent Subset
- User:Leigh.Samphier/Matroids/Independent Subset Contains No Dependent Subset/Corollary 1
- User:Leigh.Samphier/Matroids/Independent Subset Contains No Dependent Subset/Corollary 2
- User:Leigh.Samphier/Matroids/Independent Subset Contains No Dependent Subset/Corollary 3
- User:Leigh.Samphier/Matroids/Larger Set has Larger Set Difference
- User:Leigh.Samphier/Matroids/Matroid Base Contains No Circuit
- User:Leigh.Samphier/Matroids/Matroid Base Contains No Dependent Subset
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 1 of Matroid Base Axiom
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 1 of Matroid Base Axiom/Lemma 1
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 1 of Matroid Base Axiom/Lemma 2
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 1 of Matroid Base Axiom/Necessary Condition
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 1 of Matroid Base Axiom/Sufficient Condition
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 5 of Matroid Base Axiom
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 5 of Matroid Base Axiom/Lemma 1
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 5 of Matroid Base Axiom/Lemma 2
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 5 of Matroid Base Axiom/Necessary Condition
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Formulation 5 of Matroid Base Axiom/Sufficient Condition
- User:Leigh.Samphier/Matroids/Matroid Bases Iff Satisfies Matroid Base Axiom
- User:Leigh.Samphier/Matroids/Matroid Bases Satisfy Formulation 7 of Matroid Base Axiom
- User:Leigh.Samphier/Matroids/Matroid Bases Satisfy Formulation 7 of Matroid Base Axiom/Lemma 1
- User:Leigh.Samphier/Matroids/Matroid Bases Satisfy Formulation 7 of Matroid Base Axiom/Lemma 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/Matroids/Set Difference Then Union Equals Union Then Set Difference
- User:Leigh.Samphier/Matroids/Set Difference Then Union Equals Union Then Set Difference/Corollary
- User:Leigh.Samphier/Matroids/Subset Intersection Set DIfference is Empty Iff Subset of Second Set
- 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
- User:Leofun01
- User:Leonard
- User:Leonhard Euler
- User:Leonry
- User:Leopold Broom
- User:Lessconfusedthanbefore
- User:Leung10604
- User:Levi Walker
- User:Leviset
- User:Lewis
- User:Liamnerdo
- User:Liamodwyer14
- User:Light
- User:Lightnamu
- User:Lilitha Potye
- User:LinAlgHeadphones
- User:Linus44
- User:Linus44/Sandbox
- User:Linux981
- User:Liqiun
- User:Litles
- User:Litlok
- User:Liu Jin Tsai
- User:Liujch1998
- User:Lizardknight
- User:Lizardknight3
- User:Ljeffares
- User:Ljhui
- User:Llf
- User:Lmbell
- User:Lmiones
- User:Logan Clark
- User:Logicallybroke
- User:Logiclogiclogic
- User:Loic
- User:Lolhomotopic
- User:LordTengil
- User:Lord Farin
- User:Lord Farin/Archive
- User:Lord Farin/Archive/Graph Theory Axioms
- User:Lord Farin/Archive/Natural Deduction Axioms
- User:Lord Farin/Backup
- User:Lord Farin/Backup/Definition:Natural Deduction
- User:Lord Farin/Backup/Definition:Natural Deduction/Elementary Valid Argument Forms
- User:Lord Farin/Backup/Definition:Natural Deduction/Proof Rule
- User:Lord Farin/Backup/Definition:Proof System/Rule of Inference
- User:Lord Farin/Books
- User:Lord Farin/Books/Kunen Foundations
- User:Lord Farin/Bot
- User:Lord Farin/Long-Term Projects
- User:Lord Farin/Long-Term Projects/Awodey
- User:Lord Farin/Long-Term Projects/Conway Course
- User:Lord Farin/Long-Term Projects/Extension
- User:Lord Farin/Long-Term Projects/Givant-Halmos
- User:Lord Farin/Long-Term Projects/Howson
- User:Lord Farin/Long-Term Projects/MLCS
- User:Lord Farin/Long-Term Projects/Munkres
- User:Lord Farin/Long-Term Projects/Schilling
- User:Lord Farin/Long-Term Projects/Stubs
- User:Lord Farin/Proof Structures
- User:Lord Farin/Sandbox
- User:Lord Farin/Sandbox/Archive
- User:Lord Farin/Sandbox/BOC
- User:Lord Farin/Sandbox/Completeness
- User:Lord Farin/Sandbox/Completeness/Replacement H2
- User:Lord Farin/Sandbox/Completeness/Replacement Tautology
- User:Lord Farin/Sandbox/Equivalence of Definitions of Consistent
- User:Lord Farin/Sandbox/Magma of Sets
- User:Lord Farin/Sandbox/MathJax
- User:Lord Farin/Sandbox/MathJax/Sub
- User:Lord Farin/Sandbox/Nets
- User:Lord Farin/Sandbox/Proof Rules
- User:Lord Farin/Sandbox/Proof Rules/Definition:Natural Deduction
- User:Lord Farin/Sandbox/Proof Rules/Definition:Natural Deduction/Derived Rules
- User:Lord Farin/Sandbox/Proof Rules/Definition:Natural Deduction/Rules of Inference
- User:Lord Farin/Sandbox/Proof Rules/Definition:Rule of Inference
- User:Lord Farin/Sandbox/Proof Rules/Definition:Rule of Inference/Structure
- User:Lord Farin/SandboxTemplate
- User:Lord Farin/Tableau Proof Rules
- User:Lord Farin/Tableau Proof Rules/Addition
- User:Lord Farin/Tableau Proof Rules/Assumption
- User:Lord Farin/Tableau Proof Rules/Bottom-Elimination
- User:Lord Farin/Tableau Proof Rules/Conjunction
- User:Lord Farin/Tableau Proof Rules/Excluded Middle
- User:Lord Farin/Tableau Proof Rules/Implication
- User:Lord Farin/Tableau Proof Rules/Modus Ponens
- User:Lord Farin/Tableau Proof Rules/Not-Elimination
- User:Lord Farin/Tableau Proof Rules/Or-Elimination
- User:Lord Farin/Tableau Proof Rules/Proof by Contradiction
- User:Lord Farin/Tableau Proof Rules/Simplification
- User:Lord Farin/common.css
- User:Lord Farin/common.js
- User:Lore
- User:Lore.mazza51
- User:Lorenzo di
- User:Love's Gift
- User:Loverofmath
- User:Lrtrejo
- User:Ls70
- User:Lsgluigi
- User:Lshan4
- User:LuCUBEratur
- User:LucaluxWizard
- User:Lucas/common.css
- User:Lucca Mito
- User:Lucgmezro
- User:Luckyplayer
- User:Luftbahnfahrer
- User:Luis
- User:Lukefeilberg
- User:Lulukkkk
- User:Lulukkkk/Sandbox
- User:Luolimao
- User:Lupacante
- User:Lusvelt
- User:Lutalli
- User:Léon
- User:M
- User:M.Young
- User:M.ceraolo
- User:M80126colin
- User:MCPOliseno
- User:MCPOliseno /Algebra
- User:MCPOliseno /Algebra 735
- User:MCPOliseno /Algebra 850
- User:MCPOliseno /Analysis
- User:MCPOliseno /Math710 CHAPTER 5
- User:MCPOliseno /Math710 Essay
- User:MCPOliseno /Math710 FINAL
- User:MCPOliseno /Math710 HW 7
- User:MCPOliseno /Math735 AffineMonoids
- User:MCPOliseno /Math735 MIDTERM
- User:MCPOliseno /Math850 HW1
- User:MRH Riyad
- User:Mad-camel
- User:Madgadjt
- User:Madir
- User:Madir/Sandbox
- User:Magicwaltz
- User:Magnolia
- User:MagolleS
- User:Magyar
- User:Mahrud
- User:Maikjoseph
- User:Major
- User:Makelele
- User:Maki
- User:Makoba
- User:Malabi
- User:Maldonadoreynolds
- User:Maleverg
- User:Mali homs
- User:Maloney
- User:ManaswiParaashar
- User:Mandelbolt
- User:Mandrew
- User:Mango2
- User:Manik Hojai Barman
- User:Manish Khokhar
- User:Manjeet kunwar
- User:Manoj
- User:Manthosa
- User:Manulari
- User:Mar1236
- User:Marc André Miron
- User:Marcelgs
- User:Marco Eletromecânico
- User:MarcosFrichem
- User:Marije
- User:Markoe
- User:Marley
- User:Marnix Klooster
- User:Maroune RHAFLI
- User:Martilud
- User:Mason
- User:MasterWeichhart
- User:MatanKom
- User:Mateocarmona37
- User:Matfan
- User:MathEnthusiast9812
- User:MathLoverNo3583
- User:MathTrbl
- User:Mathbeing
- User:Mathbro
- User:Mathcat33
- User:Mathe
- User:Mathematicainfinitorum
- User:Mathematician Proofer
- User:Mathematics1998
- User:Mathgod
- User:Mathmagic
- User:Mathmagician
- User:Mathmensch
- User:Mathprof
- User:Mathrussell
- User:Maths ghost
- User:Mathtam
- User:Mathtrips
- User:MatrixUniverse
- User:MattP
- User:Matte
- User:Matteyas
- User:Matthew Matix
- User:Matthews24
- User:Mattiashallberg
- User:Matze
- User:Maunev
- User:MauroCamaraEscudero
- User:MauroCamaraEscudero/PythonBRMLtoolbox
- User:Maurocamaraescudero
- User:Mavhawk64
- User:Maximilian Janisch
- User:Maxschnadt
- User:Maxsu
- User:Maxsu/Sandbox
- User:Mayankp
- User:Mayantito
- User:Mazerakham
- User:Mazmatig
- User:Mazouchi
- User:McDav
- User:McNichollas Bourbaki
- User:MdeVries