tetrapharmakon
Category theorist, coend sifu. Member of https://compose.ioc.ee
https://compose.ioc.eeTallinn, Estonia
Pinned Repositories
bullex
A TeXy bullet journal
coend-cofriend
compositionality-latex-template
The Compositionality article class.
isbell-frames
Isbell duality and pointfree topology
itaca-preambolo
moirai
mystic-sunflower
tetrapharmakon.github.io
yoneda-in-tongues
Yoneda lemma in every known language
yoneda-ontology
Yoneda lemma, homotopy and ontology
tetrapharmakon's Repositories
tetrapharmakon/teamim
teamim is a tool to extract punctuation from texts and do fancy things
tetrapharmakon/oko
tetrapharmakon/moirai
tetrapharmakon/bab-dub
tetrapharmakon/hira-guidelines
tetrapharmakon/analisi-funzionale
Appunti del corso
tetrapharmakon/Arnold-Cat-Map
Arnold's cat maps are a form of chaotic mapping which show the underlying patterns of otherwise disorderly behaviour.
tetrapharmakon/pqbeamer
tetrapharmakon/mystic-sunflower
tetrapharmakon/test-cose
tetrapharmakon/smash
Simple, `These`-like datatypes
tetrapharmakon/itaca-site
tetrapharmakon/dpl0a.github.io
tetrapharmakon/.xmonad
tetrapharmakon/free-springer-books
tetrapharmakon/exercism
tetrapharmakon/COVID-19
COVID-19 Italia - Monitoraggio situazione
tetrapharmakon/hrts-n-tow
This is hearts and towers - a joint paper with D.F. and G.M.
tetrapharmakon/cookbook-hs
tetrapharmakon/ScienzaList
Awesome list di risorse e link di scienza
tetrapharmakon/multinomiala-hs
tetrapharmakon/idris-exercises
tetrapharmakon/tripitaka
A category-theoretic tripitaka: sheaves ~ étalages ~ Ω-sets
tetrapharmakon/cohesive-in-rome
Notepad for lectures on cohesion, at uniroma1
tetrapharmakon/kinky-projects
Paidéia
tetrapharmakon/tex-iching
tetrapharmakon/isbell-frames
Isbell duality and pointfree topology
tetrapharmakon/toki-pona-ct
A proof of concept: basic maths in toki pona
tetrapharmakon/PyEsercizi
tetrapharmakon/lns-fake-cover