• Tags
  • #higher-algebra #higher-algebra/DAG
• Refs:
  • #todo/add-references
• Links:
  • hypercomplete topos
  • DAG

topos

Nardin: You should think of an object of a topos as a sheaf