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

Many derivations in Toposes probably have to be final derivations #105

Open
zickgraf opened this issue Feb 2, 2023 · 3 comments
Open

Many derivations in Toposes probably have to be final derivations #105

zickgraf opened this issue Feb 2, 2023 · 3 comments

Comments

@zickgraf
Copy link
Member

zickgraf commented Feb 2, 2023

For example:

https://github.com/homalg-project/Toposes/blob/363adf9f43d68e4f63bc7396229d3bf914a9d2cc/gap/ToposDerivedMethods.gi#L248

The source of MorphismFromFiberProductToSink is FiberProduct, not IntersectionSubobject, and the latter is not necessarily modeled via the former.
@mohamed-barakat
Copy link
Member

Ah, I was unaware of IntersectionSubobject as a CAP operation.

@zickgraf
Copy link
Member Author

zickgraf commented Feb 2, 2023

In Locales there is a similar problem with "NegationOnMorphisms as ConegationOnMorphisms" etc.

@zickgraf
Copy link
Member Author

zickgraf commented Feb 6, 2023

See also homalg-project/Toposes#142 (comment).

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
No milestone
Development

No branches or pull requests
2 participants
@mohamed-barakat @zickgraf