![[syndicated profile]](https://www.dreamwidth.org/img/silk/identity/feed.png){kind=small}
jobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feedhettie_feedMagellan is the Philippines’ Entry For Best International Feature at the Oscars, and the reviews were raving. I decided it’s a must-see, even though the movie is almost three hours long. Judging by the description, I expected more or less a traditional, colorful historical movie with a pronounced social message:
At the dawn of the modern era, Portuguese explorer Ferdinand Magellan (Gael García Bernal) navigated a fleet of ships to Southeast Asia, attempting the first voyage across the vast Pacific Ocean. On reaching the Malay Archipelago, the crew pushed to the brink of madness in the harshness of the high seas and overwhelming natural beauty of the islands, Magellan’s obsession leads to a rebellion and reckoning with the consequences of power. A vast, globe-spanning epic from Filipino filmmaker Lav Diaz (NORTE, THE END OF HISTORY), MAGELLAN presents the colonization of the Philippines as a primal, shocking encounter with the unknown and a radical retelling of European narratives of discovery and exploration.
My first reaction was disappointment: it felt more like a Tarkovsky movie, just with prettier landscapes. Iwas even thinking of quietly leaving the screening. But gradually, my perception changed, and I kept watching. If you watch the trailer, it does not give a good impression of the movie. The trailer is more dynamic and less picturesque. And doesn’t show even a percent of violence.
Maybe three hours is too much to say “colonialism is bad.” You decide.
jobsacuk_math_feedmathoverflow_at_feedI've been wondering about what this conjecture is even about and the potential applications of it and so far I can't find any notes/papers on this topic. It'd be appreciated if you can give me some insights into this thing.
jobsacuk_math_feedjobsacuk_math_feedmathoverflow_at_feedAccording to this question about Mayer-Vietoris in six-functor formalisms, 'all of the "constructible" six-functor formalisms' admit a gluing sequence:
Let $i:Z\hookrightarrow X$ be a closed immersion, $j:U\hookrightarrow X$ the complementary open immersion, and $A\in D(X)$. Then $$ i_*i^!A\to A\to j_*j^*A $$ is a fiber sequence in $D(X)$.
Furthermore, note that such sequences arise whenever $i_*:D(Z)\to D(X)$ and $j_*:D(U)\to D(X)$ are a recollement for $D(X)$ (in the sense of Jacob Lurie's HA A.8.1).
For sheaves on topological spaces, I was able to find references stating that a closed immersion and the complementary open immersion yield a recollement in this sense (e.g. Marco Volpe's thesis, Chapter 4).
For equivariant motivic homotopy theory, Marc Hoyois paper on six functors in that setting states the gluing sequence (Theorem 1.1.4).
For étale sheaves and D-modules, Scholze's lecture notes state the gluing sequences (Proof of Theorem 7.15, Proposition 8.32/Remark 8.34).
Can you recommend any further references for gluing sequences in six-functor formalisms, preferably ones stating the recollement from which they arise?
jobsacuk_math_feed![[staff profile]](https://www.dreamwidth.org/img/silk/identity/user_staff.png){kind=small}
mark posting in ![[site community profile]](https://www.dreamwidth.org/img/comm_staff.png){kind=small}
dw_maintenanceHi all!
I'm doing some minor operational work tonight. It should be transparent, but there's always a chance that something goes wrong. The main thing I'm touching is testing a replacement for Apache2 (our web server software) in one area of the site.
Thank you!
mathoverflow_ct_feedI'm looking for a reference for the following statement.
Let $X$ be an object of a lextensive category $\mathcal{C}$. Let $\text{CompSub}(X)$ be the poset of complemented subobjects of $X$. Then $\text{CompSub}(X)$ is a Boolean algebra.
In, say, a topos, the poset $\text{Sub}(X)$ of subobjects of $X$ forms a Heyting algebra; this is how ordinary propositional logic is interpreted in a topos. The poset is not a Boolean lattice, because the law of excluded middle does not hold.
However, if we only consider complemented subobjects (as opposed to all subobjects), things become quite different. It is relatively easy to define the meet and join of complemented subobjects (even in the weaker setting of a lextensive category), and the subobjects being complemented means we always get the law of excluded middle.
I've been able to sketch a proof of the above statement pretty easily, which suggests to me that this must exist already in the literature. Can someone please point me to a reference?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicreddit_haskell_feedContinuing the "how to setup Haskell" threads, I am running nix packages on Ubuntu. I have been using a default.nix that uses developPackage, however I'm now entering the world of multi-package projects using cabal.package and hpack, and developPackage doesn't work as it expects a top-level cabal file.
What are the current best practices? Thanks!
reddit_haskell_feedYes, we’re hiring again! :)
Artificial is a leading UK-based Insurtech company. Our technology enables some of the world’s largest insurers to write and trade complex risks faster, more efficiently, and at lower cost. We have built a cool DSL to rapidly and robustly model insurance contracts, and a platform around it that enables the capture, assessment, and trading of risks in a highly automated fashion.
We've just raised $45M in Series B funding.
Our engineering team is fully remote, with some people close to our London office in the City working from there on occasion. The choice is yours.
We can hire people with the right to work in the UK or Poland, as we have a company presence in both countries.
Update: I now have the explicit country list: - UK, Poland, Estonia, Spain
The following countries are also likely to be green-lit: - Portugal, Greece, Hungary
Product Engineering: - Product Engineer - Senior Product Engineer - Lead Product Engineer
Site Reliability Engineering (see SRE book): - Site Reliability Engineer - Lead Site Reliability Engineer - Security Engineer
Candidates will be assessed based on a progression framework we have internally (will publish down the line), put into levels 1, 2 and 3, across three categories: building (technical understanding, craft), execution (do you ship and ship the right thing) and supporting (well being, personal growth, org design). They roughly correspond to junior, senior and lead/manager, in other orgs, but are more clearly defined in relation to each other.
jobsacuk_math_feedvit_rmathoverflow_ct_feedConstructively, it is true that for any distributive lattice $D$, its ideal completion $Idl(D)$ is a coherent locale (thus in particular compact). It is also well-known that $\Omega$ in a topos $\mathcal E$ is the ideal completion of $2 = \{0 < 1\}$. This means that $\Omega$ is internally compact, i.e. $1 \in \Omega$ is a compact element.
However, how does this internal statement not contradict the external behaviour that not every topos $\mathcal E$ is compact? Rationally, I understand that $\Omega$ being internally compact in $\mathcal E$ externally means the identity geometric morphism on $\mathcal E$ is compact, while $\mathcal E$ being compact means the terminal map $\mathcal E \to \mathbf{Set}$ is compact.
But let me consider an example of the topos of trees $Psh(\omega)$, where $\omega = (\mathbb N,\le)$. There is an increasing sequence of representables $y_0 \le y_1 \le \cdots$ which are subterminal thus can be seen as (global) points of $\Omega$, and that $1 = \bigvee_{n\in\mathbb N}y_n$. In particular, there exists a map $y : \mathbb N \to \Omega$ internally in $Psh(\omega)$ where $\mathbb N$ is the natural numbers object, and we must have $\bigvee_{n\in\mathbb N}y_n = 1$ holds internally. This disjunction is directed -- it is inhabited, and any two elements have an upper bound. However, this seems to contradict $1$ being compact. What am I missing here?
jobsacuk_math_feedjobsacuk_math_feedjobsacuk_math_feed - Postdoctoral Research Associate in Phylogenomicsjobsacuk_math_feed - Postdoctoral Researcher in Human-AIjobsacuk_math_feed - Epidemiologist / Health Data Scientist on OpenSAFELY in the Bennett Institutehettie_feed - Magellanjobsacuk_math_feed - Research Associatemathoverflow_at_feed - What is prismatic stable homotopy theory even about?jobsacuk_math_feed - PhD Studentship: Advanced Coarse-Grid CFD for Nuclear Thermal Hydraulics Modellingjobsacuk_math_feed - Bioinformaticianmathoverflow_at_feed - Gluing/Recollement in six functor formalismsjobsacuk_math_feed - Postdoctoral Research Associate in Music Psychologymark in dw_maintenance - Minor operations; testing new serving pathmathoverflow_ct_feed - Reference request: complemented subobjects form a Boolean algebra?posic - Два года назад: Я сделал свою карьеру трудом и талантом, а не групповщиной и непотизмомreddit_haskell_feed - Setup Haskell on Nixreddit_haskell_feed - [JOB] Various roles at Artificialjobsacuk_math_feed - Visiting Lecturers in Public Healthvit_r - Хроники Попокалипсисаmathoverflow_ct_feed - In a topos, the subobject classifier is a compact locale?jobsacuk_math_feed - Postdoctoral Research Associatejobsacuk_math_feed - Research Fellow - Bioinformatics – Scientisttimeasmymeasure
