ToposInstitute/RelationalThinking-Book ToposInstitute/RelationalThinking-Book

  • Stars
    star
    6
  • Rank 2,524,650 (Top 51 %)
  • Language
    TeX
  • Created 8 months ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ToposInstitute/RelationalThinking-Book
github

ToposInstitute

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

poly

TeX
103
star
2

polytt

A type theory with native support for Polynomial Functors.
OCaml
37
star
3

CatColab

A collaborative environment for formal, interoperable, conceptual modeling
Rust
11
star
4

nlab-corpus

5
star
5

tac-corpus

HTML
5
star
6

p-func-workshop

HTML
3
star
7

lean-poly

Lean
3
star
8

CT-corpus

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

RelationalThinking-code

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

parmesan

Python
2
star
11

parmesan_benchmarks

Python
1
star