“From where did topos theory come?” that is
the question.

              Usually God

              Alone

poses rhetorical questions

              that answer

themselves unlike

                            logic.

                                                                      Also: self-answer, self-slaughter.

                                                                      It came

from an unblessed contingent confluence

of algebraic geometry and category theory

given further decisive impetus by P.J. Cohen

who developed the technique of forcing to show

the independence of the continuum hypothesis

in 1963. Luckily

                            no one was writing

poetry that year; it wouldn’t have come off well;

what poem can compare

                                          to something like that? Still.

Forcing is when you take a duck or goose and ram

fat and grain down its throat many

times a day till its liver deduces itself foie gras. Yum,

yum! and iff you kill less than 50 birds a month you get

a bonus. Now there’s a wff. Cruel? Perhaps, but

                                          is there any other way to prove

2N0 ≠ א1 [or at least that that ain’t necessarily so] ?!

              Element by element we force by conditions

              a gavage of Being

to accept a generic extension that no 
longer ratifies              the semantics of the ground

                            model. Law is veer. Live liver dead duck. Booty proof.

              These days

it’s all about Cartesian-closed categories with subobject classifiers

oh yeah.

              O geologies of the infinite which burrow down

through uncountable (this is a terminus technicus fyi & btw)

infinities to smaller and smaller kinds! What is the smallest

infinity there is? Is it smaller than numbers? Where’s there? Where’s not?

                            Too soon to say they say

but we do know for every object a

there exists an object p(a), object of subsets of a

and a monomorphism that maps the Cartesian product

of a x p(a) so for every object b and every

monomorphism onto a x b there is one arrow and one

alone that, etc., etc. This is the net, this is the krill,

                            I am

in a state of permanent becoming

a complete Heyting algebra

a sheaf over a topological space

a more general categorical structure

an embodiment of a correspondence

between the canons of deductive reason

and a divergence of grammatical functions

uniquely determined by the values

given to their arguments by choice