Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
266 views

Relationship between coherent toposes/coherent logic and coherent sheaves

I've heard it claimed that the adjective "coherent" in logic/topos theory (i.e. coherent logic, coherent toposes, coherent categories) was adopted to fit in with the terminology of coherent sheaves in ...
dorebell's user avatar
  • 3,058