Search Results - RepositoryStats

3

61

unknown

10

A DSL for the internal language of a topos

dsl math topos-theory category-theory algebraic-structures

Created 2014-06-24

1,426 commits to master branch, last one 7 months ago

2

56

unknown

9

Topos theory in lean

leanprover topos-theory

Created 2020-02-16

257 commits to master branch, last one 3 years ago

3

54

unknown

9

Notes on how to use the internal language of toposes in algebraic geometry

mathematics sheaf-theory topos-theory categorical-logic algebraic-geometry

Created 2014-03-13

1,553 commits to master branch, last one about a month ago