Docs
Blog
Resources

Docs Menu

Docs home

Mathematics

category theory

Preliminaries
- Simplifications
- Diagram chasing:
Definitions of categories
- Natural transformations
Adjunctions
Monads
Universal properties
- Representable functors
Theorems
- Yoneda lemma
Kan extensions
Notions

lattice and domains

Introduction
the ordered structures
Adjunction between lattice and topology
Applications: program analysis
Applications: program semantics
Applications: logical systems
References

algebraic topology

Definitions of topological spaces

dynamical systems 1

Introduction

phase space

weather prediction
personal transportation
free will vs determinism

reductionist top-down approach in management
dynamic systems approach in management

emergence

type theory

Definitions of types

Computer Science

MLIR compilers

Dialects: languages in MLIR
transforming dialects
- C++ API
- Scala API
References and further reading

Philosophy

The will and enjoyment

Preliminary
- Logic vs. Dialectics: just different level
Schopenhauer's will
Zižek's enjoyment

Daoism: ancient self-organizing

neoliberalism

Daoism: ancient self-organizing

The will and enjoyment

© 2026