Code

Elementary topos nonsense#411

Code

Open

plt-amy wants to merge 12 commits intomainthe1lab/1lab:mainfrom aliao/elementary-topoithe1lab/1lab:aliao/elementary-topoiCopy head branch name to clipboard

+2,092-529

Commits

Commits on Mar 7, 2025

• wip: elementary topos nonsense

  plt-amy

  committed
  84262b3

  Copy full SHA for 84262b3

• some garbage

  plt-amy

  committed
  e086a7d

  Copy full SHA for e086a7d

• fix topoi.reasoning

  plt-amy

  committed
  8032da2

  Copy full SHA for 8032da2

• prose

  plt-amy

  committed
  2a77873

  Copy full SHA for 2a77873

• subobject classifier sheaf

  plt-amy

  committed
  1c9be5c

  Copy full SHA for 1c9be5c

• augh

  plt-amy

  committed
  3f7d03f

  Copy full SHA for 3f7d03f

• cleanup

  plt-amy

  committed
  376903d

  Copy full SHA for 376903d

• defn: subobject classifier for finite sets

  plt-amy

  committed
  63aaafe

  Copy full SHA for 63aaafe

Commits on Mar 8, 2025

• connect generic subobjects and generic sub-objects

  plt-amy

  committed
  ddaccf7

  Copy full SHA for ddaccf7

• merge right-adjoint→is-monic

  plt-amy

  committed
  70577a4

  Copy full SHA for 70577a4

• first, clean up the first first.

  plt-amy

  committed
  08b465a

  Copy full SHA for 08b465a

• ඞ

  plt-amy

  committed
  4427036

  Copy full SHA for 4427036