Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Some references were mentioned in this discussion.
We have that duals of toposes are protomodular categories.
The links to the references donâ€™t seem to exist anymore.
The web archive has archived the second reference here.
1 to 5 of 5