Search

Drawing on the analogy between any unary first-order quantifier and a “face operator,” this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type spaces of any theory expressed in L. An adjunction result is then proved between the category of o-minimal structures and a subcategory of the category of linearly ordered simplicial sets with distinguished vertices.

We give a geometric interpretation of sheaf cohomology for higher degrees $n\geq 1$ in terms of torsors on the member of degree $d=n-1$ in hypercoverings of type $r=n-2$, endowed with an additional datum, the so-called rigidification. This generalizes the fact that cohomology in degree one is the group of isomorphism classes of torsors, where the rigidification becomes vacuous, and that cohomology in degree two can be expressed in terms of bundle gerbes, where the rigidification becomes an associativity constraint.

Search Results

Refine search

Refine search

Actions for selected content:

2 results

HOMOTOPY MODEL THEORY

RIGIDIFIED TORSOR COCYCLES, HYPERCOVERINGS AND BUNDLE GERBES

Search Results

Refine search

Refine search

Actions for selected content:

Save Search

2 results

HOMOTOPY MODEL THEORY

RIGIDIFIED TORSOR COCYCLES, HYPERCOVERINGS AND BUNDLE GERBES