Topos Institute

Topos Institute's repositories

Language:TeXMIT104 20 2

A type theory with native support for Polynomial Functors.

Language:OCaml37 8 35

Language:HTML5 100

Language:Lean300

Language:HTML3 110

A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"

Language:TeX2 60

Language:Python200

Language:Python100

Language:TeX100

040

This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".

Language:Julia000

Language:Jupyter Notebook000