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

Jump to bottom

Properties of Reindexing #61

Closed
3 tasks done
maxsnew opened this issue Mar 3, 2024 · 5 comments
Closed
3 tasks done

Properties of Reindexing #61

maxsnew opened this issue Mar 3, 2024 · 5 comments
Milestone
Gluing for Cartes...

Comments

@maxsnew
Copy link
Owner

maxsnew commented Mar 3, 2024 •
edited
Loading

Prove the following are stable under reindexing a displayed category:

  1. local terminal objects
  2. local cartesian products
  3. cartesian lifts (can port from 1lab)
@maxsnew
Copy link
Owner Author

maxsnew commented Mar 3, 2024

All of these are defined as LocalRightAdjointᴰ so maybe there's a slick proof that covers all of them

@maxsnew
Copy link
Owner Author

maxsnew commented Apr 20, 2024

Cartesian Lifts implemented in #73

@hejohns
Copy link
Collaborator

hejohns commented Jun 27, 2024

stability of reindexing vertical terminal objects (up-to-date terminology for local terminal objects) implemented by #83 and moved to present location by #95

@hejohns
Copy link
Collaborator

hejohns commented Jun 27, 2024

stability of reindexing vertical cartesian products implemented by #94

@hejohns
Copy link
Collaborator

hejohns commented Jun 27, 2024

Once #94 is merged, we can close this

@maxsnew maxsnew closed this as completed Jun 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Gluing for Cartesian Categories
Development

No branches or pull requests
2 participants
@maxsnew @hejohns