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