Stoneech compactification

#	Item
1	769 Documenta Math. Characterisation of the Berkovich Spectrum of the Banach Algebra of Bounded Continuous Functions Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-14 07:18:55 General topology Hausdorff space Banach space Open and closed maps Compact space Banach algebra Boolean algebra Filter Berkovich space Net Stoneech compactification HahnBanach theorem
2	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification