The Idea Takes Place As Place Itself, Expanded and Revised Edition with a New Foreword by the Author

By | 1 November 2017

“From where did topos theory come?” that is

the question.
Usually God
poses rhetorical questions
that answer
themselves unlike
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

This entry was posted in 83: MATHEMATICS and tagged . Bookmark the permalink.

Related work:

Comments are closed.