HackerPapers

arXiv:1012.5647math.CT

An informal introduction to topos theory

Tom Leinster

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.

arXiv comments
27 pages. Version 3: expanded section on set theory; other minor edits
Journal reference
DOI
Subjects
math.CTCategory Theory math.AGAlgebraic Geometry math.LOLogic

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Oct 2026 to Oct 2026. Found in 1 HN submission from Dec 2021 to Dec 2021. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Sharing AI progress in mathematics 1 comment

    • Depends how fundamental the variables are. If we can code a sim for a topos[1], why can’t we be in such a sim? 1. https://arxiv.org/pdf/1012.5647

      brookstView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.