Introduction to synthetic differential geometry, and a synthetic theory of dislocations

1986 ◽  
pp. 52-68
Author(s):  
Anders Kock
Keyword(s):  
Differential Geometry ◽  
Synthetic Theory ◽  
Synthetic Differential Geometry

scholarly journals THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES

2018 ◽  
Vol 83 (04) ◽  
pp. 1667-1679
Author(s):  
MATÍAS MENNI
Keyword(s):  
Differential Geometry ◽  
Algebraic Geometry ◽  
Algebraic Topology ◽  
Full Subcategory ◽  
Sufficient Conditions ◽  
Double Negation ◽  
Synthetic Differential Geometry ◽  
Simplicial Sets ◽  
Image Position

AbstractLet ${\cal E}$ be a topos, ${\rm{Dec}}\left( {\cal E} \right) \to {\cal E}$ be the full subcategory of decidable objects, and ${{\cal E}_{\neg \,\,\neg }} \to {\cal E}$ be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity ${\cal E} \to {\cal S}$ for the two subcategories of ${\cal E}$ above, making them Adjointly Opposite. Typical examples of such ${\cal E}$ include many ‘gros’ toposes in Algebraic Geometry, simplicial sets and other toposes of ‘combinatorial’ spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.

scholarly journals Differential forms with values in groups

1982 ◽  
Vol 25 (3) ◽  
pp. 357-386 ◽  
Author(s):  
Anders Kock
Keyword(s):  
Differential Geometry ◽  
Lie Algebra ◽  
Classical Theory ◽  
Lie Group ◽  
Differential Form ◽  
Differential Forms ◽  
Synthetic Differential Geometry ◽  
Exterior Differentiation ◽  
Group Object

In the context of synthetic differential geometry, we present a notion of differential form with values in a group object, typically a Lie group or the group of all diffeomorphisms of a manifold. Natural geometric examples of such forms and the role of their exterior differentiation is given. The main result is a comparison with the classical theory of Lie algebra valued forms.

Sign in / Sign up

Export Citation Format

Share Document