Timeline for What are internal complete atomic boolean algebras, intuitively?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 11, 2021 at 16:43 | vote | accept | Martin Brandenburg | ||
| May 26, 2021 at 21:33 | answer | added | Martin Brandenburg | timeline score: 3 | |
| May 16, 2021 at 20:43 | comment | added | Martin Brandenburg | @SimonHenry Well this is the formal answer (valid for any infinitary Lawvere theory), but I would like to have a description with internal data. | |
| May 16, 2021 at 20:33 | comment | added | Simon Henry | Is the following, somehow trivial, characterization an answer to your question: a Boolean algebra object B in C is a CBA if $Hom(X,B)$ is a CBA and $Hom(X,B) \to Hom(Y,B)$ is a CBA morphism for all $X$ and all $f:Y \to X$ and it is a CABA if in addition $Hom(X,B)$ is a CABA for all X ? if not, why ? | |
| May 16, 2021 at 19:16 | comment | added | Simon Henry | If $\mathcal{C}$ is a Grothendieck topos it seems that the opposite of these "internal CABA" is the category of Cosheaves of sets on $\mathcal{C}$. Cosheaves of sets are a bit weird sometimes, and cosheaves of abelian group have been studied much work, but they do some time appear in the litterature. | |
| May 16, 2021 at 17:55 | history | edited | Martin Brandenburg | CC BY-SA 4.0 |
added 868 characters in body
|
| May 16, 2021 at 17:40 | history | edited | Martin Brandenburg | CC BY-SA 4.0 |
added 537 characters in body
|
| May 15, 2021 at 21:43 | history | asked | Martin Brandenburg | CC BY-SA 4.0 |