The purpose of these lectures is to go over recent work of Ben Steinberg on Etale groupoid algebras, which can be viewed as purely algebraic analogues of etale groupoid C
We say a structure is computable (or computably presented) if it has domain the natural numbers, and if all functions, relations and constants are uniformly computable.
Sheaves are structures that keep track of local information attached to the open sets of a topological space. They also appear in the definition of a scheme. After discussing a few familiar examples, the concepts of presheaf and sheaf will be defined, along with the appropriate notion of morphism between such objects. If time permits, stalks and sheafification will be discussed.
Given points z1,...,zn and w1,...,wn
We finish our discussion of definitions in computable model theory, looking at the complexity of presentations of structures and isomorphisms between structures.
Last time, projective modules were introduced. We proved that free modules are projective, and conversely a projective module is always a direct summand of a free module.
In this week’s seminar, we come one step closer to understanding schemes.
A hypergroup is a locally compact Hausdorff space equipped with a convolution product which maps any two points to a probability measure with a compact support. Hypergroups generalize locally compact groups in which the above convolution reduces to a point mass measure.
In this talk we will consider the following problem: Suppose we have a system p1(x) = ...
When an immersed submanifold of a Riemannian manifold is endowed with the induced metric it is called a Riemannian submanifold.