Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Elementary topos nonsense #411

Open
wants to merge 12 commits into
base: main
Choose a base branch
from
Open

Elementary topos nonsense #411

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
84262b3
wip: elementary topos nonsense
plt-amy Jul 19, 2024
e086a7d
some garbage
plt-amy Feb 28, 2025
8032da2
fix topoi.reasoning
plt-amy Feb 28, 2025
2a77873
prose
plt-amy Mar 7, 2025
1c9be5c
subobject classifier sheaf
plt-amy Mar 7, 2025
3f7d03f
augh
plt-amy Mar 7, 2025
376903d
cleanup
plt-amy Mar 7, 2025
63aaafe
defn: subobject classifier for finite sets
plt-amy Mar 7, 2025
ddaccf7
connect generic subobjects and generic sub-objects
plt-amy Mar 8, 2025
70577a4
merge right-adjoint→is-monic
plt-amy Mar 8, 2025
08b465a
first, clean up the first first.
plt-amy Mar 8, 2025
4427036
ඞ
plt-amy Mar 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
231 changes: 0 additions & 231 deletions src/Cat/CartesianClosed/Instances/PSh.agda
View file
Open in desktop

This file was deleted.

Loading
Loading