By Maicol Ochoa and Andrés Villaveces

We introduce and develop the theory of metric sheaves. A metric sheaf *\A* is defined on a topological space *X* such that each fiber is a metric model. We describe the construction of the generic model as the quotient space of the sheaf through an appropriate filter. Semantics in this... Show more

March 30, 2012

Loading full text...

Similar articles

Loading recommendations...

x1

Sheaves of metric structures

Click on play to start listening