reed-thesis

KO | EN

gitlite — search

#python #react #golang #go #machine-learning #deep-learning #linux #docker #cli #kubernetes #security #mcp #openai #open-source

(★ 17)

My undergradate thesis on coinductive types in univalent type theory

reed-thesis 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Undergraduate Thesis

This repo holds my undergraduate thesis (completed in May 2018), which focused
on adding "internal" M-types to the
[UniMath](https://github.com/UniMath/UniMath) library. See this paper for details:
["Non-wellfounded Trees in Homotopy Type Theory"](https://arxiv.org/abs/1504.02949).

## Directory Structure

- `archive/` contains things I thought I would need, but didn't.
 - `coq/` contains formalized mathematics
    * `coq/Exercises` contains solutions to exercises in the HoTT book.
 - `exercises/` contains informal solutions to exercises in various texts
    * `exercises/hott*`: From the HoTT book (scanned from handwritten versions)
    * `exercises/hatcher*`: From Hatcher's Algebraic Topology
    * `exercises/awodey*`: From Awodey's Category Theory
 - `notes/` contains LaTeX notes on various subjects at the level of detail I required at the time (no attempt to be comprehensive nor expository has been made).
    * `notes/hott-figures` is a bunch of Tikz drawings corresponding to lemmas and theorems in the HoTT book
 - `tex-preamble/` is a collection of LaTeX files that are useful to `\input{}` at the beginning of documents.

## Work elsewhere

For work I've done related to my thesis that isn't hosted here, see my work on:

* [siddharthist/write-yourself-a-scheme-in-agda](https://github.com/siddharthist/write-yourself-a-scheme-in-agda)
 * [HoTT/HoTT](https://github.com/HoTT/HoTT/pulls?utf8=%E2%9C%93&q=is%3Apr%20author%3Asiddharthist%20)
 * [UniMath/UniMath](https://github.com/UniMath/UniMath/pulls?utf8=%E2%9C%93&q=is%3Apr%20author%3Asiddharthist%20)
 * [HoTT/book](https://github.com/HoTT/book/pulls?utf8=%E2%9C%93&q=is%3Apr%20author%3Asiddharthist%20)

reed-thesis

reed-thesis 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

reed-thesis

reed-thesis 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README