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/yoneda-in-tongues
Yoneda lemma in every known language
tetrapharmakon/yoneda-ontology
Yoneda lemma, homotopy and ontology
tetrapharmakon/tetrapharmakon.github.io
tetrapharmakon/bullex
A TeXy bullet journal
tetrapharmakon/compositionality-latex-template
The Compositionality article class.
tetrapharmakon/itaca-preambolo
tetrapharmakon/mycv
a template for a cv that does not make your eyes bleed infectious spores
tetrapharmakon/species
tetrapharmakon/teofanie
tetrapharmakon/agda-categories
A new Categories library for Agda
tetrapharmakon/agda-stdlib
The Agda standard library
tetrapharmakon/alta-typst
A simple Typst CV template, inspired by AltaCV by LianTze Lim.
tetrapharmakon/awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
tetrapharmakon/beda-venerabilis
tetrapharmakon/bib
tetrapharmakon/CatArts
tetrapharmakon/categorical-automata
Bicategories of automata, completeness of F-automata in monoidal categories
tetrapharmakon/edron
tetrapharmakon/fouche
tetrapharmakon/habib
My beloved bib parser
tetrapharmakon/itaca
tetrapharmakon/kagoshima-banner
tetrapharmakon/mat
tetrapharmakon/me-myself
tetrapharmakon/model-bi
tetrapharmakon/monmonmon
Monads in monads in monads in monads in monads in...
tetrapharmakon/resume
tetrapharmakon/string-diagrams
tetrapharmakon/tex-images
tetrapharmakon/thesis