tetrapharmakon/isbell-frames tetrapharmakon/isbell-frames

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tetrapharmakon/isbell-frames
github

tetrapharmakon

Reviews

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

Repository Details

Isbell duality and pointfree topology

More Repositories

1

yoneda-in-tongues

Yoneda lemma in every known language
TeX
17
star
2

moirai

TeX
6
star
3

yoneda-ontology

Yoneda lemma, homotopy and ontology
TeX
4
star
4

tetrapharmakon.github.io

HTML
3
star
5

coend-cofriend

TeX
3
star
6

mystic-sunflower

TeX
3
star
7

species

TeX
1
star
8

bullex

A TeXy bullet journal
TeX
1
star
9

itaca-preambolo

TeX
1
star
10

teofanie

TeX
1
star
11

konkur

Nice pdf form for Italian RTD# research positions
TeX
1
star
12

toki-pona-ct

A proof of concept: basic maths in toki pona
TeX
1
star
13

mycv

a template for a cv that does not make your eyes bleed infectious spores
TeX
1
star