Skip to main content
dorebell's user avatar
dorebell's user avatar
dorebell's user avatar
dorebell
  • Member for 10 years, 4 months
  • Last seen more than a month ago
  • Palo Alto, CA, United States
Loading…
comment
Relationship between coherent toposes/coherent logic and coherent sheaves
Would someone like to organize these thoughts as an answer? I'm looking for a historical/etymological connection. My definition of a coherent topos is that it is a topos of sheaves on a coherent category, and this isn't obviously related to a coherent object in an abelian category (whose definition is clearly inspired by coherent sheaves)
awarded
Loading…
awarded
1
7 8 9 10
11