sheaf-theory

There are 0 repository under sheaf-theory topic.

iblech / internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
mathematics topos-theory algebraic-geometry categorical-logic sheaf-theory
Language:TeX 50
locusmath / locus
A specialised computer algebra system for topos theory.
algebraic-geometry applied-category-theory categorical-logic cubes double-categories double-category functional-programming functions higher-dimensional hypercubes presheaf-theory sets sheaf-theory sierpinski-topos squares topos topos-theory
Language:Clojure 17
arquicanedo / graph2sheaves
Sheaves library for graph abstractions based on NetworkX
category-theory sheaf-theory applied-category-theory
Language:Jupyter Notebook 14
chakravala / TensorFields.jl
TensorFields with product topology using Grassmann element parameters
applied-category-theory calculus compositionality differential-geometry discrete-exterior-calculus functor manifolds math scientific-computing tensor geometric-algebra clifford-algebras linear-algebra tensor-algebra topology sheaf-theory computational-geometry manifold
Language:Julia 3
karhunenloeve / TopoSheaf
Handout and notes for a seminar in topology hold at FAU with focus on sheaf theory.
sheaf-theory yoneda-lemma topology
Language:TeX 1