Positive Topology
-10%
portes grátis
Positive Topology
A New Practice in Constructive Mathematics
Sambin, Giovanni
Oxford University Press
05/2025
624
Dura
Inglês
9780199232888
Pré-lançamento - envio 15 a 20 dias após a sua edição
3
Descrição não disponível.
Preface
About This Book
1: Dynamic Constructivism: A New Conception of Mathematics
2: The Minimalist Foundation: Basic Notions and Tools
3: Basic Pairs: Symmetry and Duality in Topology
4: Relation-Pairs: Continuity is a Commutative Square
5: Concrete Spaces: Benefits of Keeping a Base
6: Convergent Relation-Pairs: Towards Topology With Points
7: Basic Topologies: Pointfree Topology Without Convergence
8: Continuous Relations: Respecting Covers and Positivities
9: Positive Topologies and Formal Maps: Pointfree Topology
10: Ideal Spaces and Maps: Ideal Aspects Over Real Topology
11: Topological Systems: a Place for all Topological Notions
12: Overlap Algebras: the Power of a Set as an Algebra
13: Overlap Topologies: Putting Topology in Algebraic Terms
Appendix A: Generating Positivity By Co-induction
References
Index
About This Book
1: Dynamic Constructivism: A New Conception of Mathematics
2: The Minimalist Foundation: Basic Notions and Tools
3: Basic Pairs: Symmetry and Duality in Topology
4: Relation-Pairs: Continuity is a Commutative Square
5: Concrete Spaces: Benefits of Keeping a Base
6: Convergent Relation-Pairs: Towards Topology With Points
7: Basic Topologies: Pointfree Topology Without Convergence
8: Continuous Relations: Respecting Covers and Positivities
9: Positive Topologies and Formal Maps: Pointfree Topology
10: Ideal Spaces and Maps: Ideal Aspects Over Real Topology
11: Topological Systems: a Place for all Topological Notions
12: Overlap Algebras: the Power of a Set as an Algebra
13: Overlap Topologies: Putting Topology in Algebraic Terms
Appendix A: Generating Positivity By Co-induction
References
Index
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Preface
About This Book
1: Dynamic Constructivism: A New Conception of Mathematics
2: The Minimalist Foundation: Basic Notions and Tools
3: Basic Pairs: Symmetry and Duality in Topology
4: Relation-Pairs: Continuity is a Commutative Square
5: Concrete Spaces: Benefits of Keeping a Base
6: Convergent Relation-Pairs: Towards Topology With Points
7: Basic Topologies: Pointfree Topology Without Convergence
8: Continuous Relations: Respecting Covers and Positivities
9: Positive Topologies and Formal Maps: Pointfree Topology
10: Ideal Spaces and Maps: Ideal Aspects Over Real Topology
11: Topological Systems: a Place for all Topological Notions
12: Overlap Algebras: the Power of a Set as an Algebra
13: Overlap Topologies: Putting Topology in Algebraic Terms
Appendix A: Generating Positivity By Co-induction
References
Index
About This Book
1: Dynamic Constructivism: A New Conception of Mathematics
2: The Minimalist Foundation: Basic Notions and Tools
3: Basic Pairs: Symmetry and Duality in Topology
4: Relation-Pairs: Continuity is a Commutative Square
5: Concrete Spaces: Benefits of Keeping a Base
6: Convergent Relation-Pairs: Towards Topology With Points
7: Basic Topologies: Pointfree Topology Without Convergence
8: Continuous Relations: Respecting Covers and Positivities
9: Positive Topologies and Formal Maps: Pointfree Topology
10: Ideal Spaces and Maps: Ideal Aspects Over Real Topology
11: Topological Systems: a Place for all Topological Notions
12: Overlap Algebras: the Power of a Set as an Algebra
13: Overlap Topologies: Putting Topology in Algebraic Terms
Appendix A: Generating Positivity By Co-induction
References
Index
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
