GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → jonsterling → constructive-sheaf-semantics

jonsterling / constructive-sheaf-semantics

Licence: other
I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.

Programming Languages

Agda
84 projects

Plans

  • setoids
  • e-categories
  • pullbacks
  • presheaves
  • basis for a Grothendieck topology
  • sheaves, in terms of covers
  • sheaf semantics
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].