Search
❯
30 Apr 20261 min read
Topos theory is the study of topoi, a categorical tool used for analyzing logical systems.