×
Well done. You've clicked the tower. This would actually achieve something if you had logged in first. Use the key for that. The name takes you home. This is where all the applicables sit. And you can't apply any changes to my site unless you are logged in.

Our policy is best summarized as "we don't care about _you_, we care about _them_", no emails, so no forgetting your password. You have no rights. It's like you don't even exist. If you publish material, I reserve the right to remove it, or use it myself.

Don't impersonate. Don't name someone involuntarily. You can lose everything if you cross the line, and no, I won't cancel your automatic payments first, so you'll have to do it the hard way. See how serious this sounds? That's how serious you're meant to take these.

×
Register


Required. 150 characters or fewer. Letters, digits and @/./+/-/_ only.
  • Your password can’t be too similar to your other personal information.
  • Your password must contain at least 8 characters.
  • Your password can’t be a commonly used password.
  • Your password can’t be entirely numeric.
Enter the same password as before, for verification.
Login

Grow A Dic
Define A Word
Make Space
Set Task
Mark Post
Apply Votestyle
Create Votes
(From: saved spaces)
Exclude Votes
Apply Dic
Exclude Dic

Quasitoposes as elementary quotient completions. (arXiv:2111.15299v2 [math.LO] UPDATED)

Click here to flash read.

The elementary quotient completion of an elementary doctrine in the sense of
Lawvere was introduced in previous work by the first and third authors. It
generalises the exact completion of a category with finite products and weak
equalisers. In this paper we characterise when an elementary quotient
completion is a quasi-topos. We obtain as a corollary a complete
characterisation of when an elementary quotient completions is an elementary
topos. As a byproduct we determine also when the elementary quotient completion
of a tripos is equivalent to the doctrine obtained via the tripos-to-topos
construction. Our results are reminiscent of other works regarding exact
completions and put those under a common scheme: in particular, Carboni and
Vitale's characterisation of exact completions in terms of their projective
objects, Carboni and Rosolini's characterisation of locally cartesian closed
exact completions, also in the revision by Emmenegger, and Menni's
characterisation of the exact completions which are elementary toposes.

Click here to read this post out
ID: 648333; Unique Viewers: 0
Unique Voters: 0
Total Votes: 0
Votes:
Latest Change: Dec. 31, 2023, 7:33 a.m. Changes:
/u/anonymous
Dictionaries:
Words:
Spaces:
Views: 13
CC:
No creative common's license
Comments: