# Trying to implement schemes and homotopy

**URL:** <https://discourse.haskell.org/t/trying-to-implement-schemes-and-homotopy/2005>\
**Category:** Show and Tell\
**Created:** [March 6, 2021, 5:02am UTC](https://discourse.haskell.org/t/trying-to-implement-schemes-and-homotopy/2005 "2021-03-06T05:02:54Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Algebraic](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/algebraic/32/1212_2.png) [@Algebraic](https://discourse.haskell.org/u/Algebraic)\
**Post date:** [March 6, 2021, 5:02am UTC](https://discourse.haskell.org/t/trying-to-implement-schemes-and-homotopy/2005/1 "2021-03-06T05:02:54Z")

</div>

> <https://github.com/Captainkk75/Schemes/blob/main/Scheme.hs>

I have tried to describe an idea which includes sort of using the idea of Homotopy from Topology and Scheme from Algebraic Geometry; using only type signatures. I would like to ask if something like this can be implemented, and if anybody has done such a project.

I am quite new to Haskell. I am studying Programming with Categories by David Spivak, Brendan Fong and Bartosz Milewski. I am also studying Algebraic Geometry of Schemes. And I was wondering if something slightly abstract as such can be implemented in a useful way.