“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
2^{N0} ≠ א_{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 nolonger 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
- 109: NO THEME 12
with C Maling & N Rhook
108: DEDICATION
with L Patterson & L Garcia-Dolnik
107: LIMINAL
with B Li
106: OPEN
with C Lowe & J Langdon
105: NO THEME 11
with E Grills & E Stewart
104: KIN
with E Shiosaki
103: AMBLE
with E Gomez and S Gory
102: GAME
with R Green and J Maxwell
101: NO THEME 10
with J Kinsella and J Leanne
100: BROWNFACE
with W S Dunn
99: SINGAPORE
with J Ip and A Pang
97 & 98: PROPAGANDA
with M Breeze and S Groth
96: NO THEME IX
with M Gill and J Thayil
95: EARTH
with M Takolander
94: BAYT
with Z Hashem Beck
93: PEACH
with L Van, G Mouratidis, L Toong
92: NO THEME VIII
with C Gaskin
91: MONSTER
with N Curnow
90: AFRICAN DIASPORA
with S Umar
89: DOMESTIC
with N Harkin
88: TRANSQUEER
with S Barnes and Q Eades
87: DIFFICULT
with O Schwartz & H Isemonger
86: NO THEME VII
with L Gorton
85: PHILIPPINES
with Mookie L and S Lua
84: SUBURBIA
with L Brown and N O'Reilly
83: MATHEMATICS
with F Hile
82: LAND
with J Stuart and J Gibian
81: NEW CARIBBEAN
with V Lucien
80: NO THEME VI
with J Beveridge
57.1: EKPHRASTIC
with C Atherton and P Hetherington
57: CONFESSION
with K Glastonbury
56: EXPLODE
with D Disney
55.1: DALIT / INDIGENOUS
with M Chakraborty and K MacCarter
55: FUTURE MACHINES
with Bella Li
54: NO THEME V
with F Wright and O Sakr
53.0: THE END
with P Brown
52.0: TOIL
with C Jenkins
51.1: UMAMI
with L Davies and Lifted Brow
51.0: TRANSTASMAN
with B Cassidy
50.0: NO THEME IV
with J Tranter
49.1: A BRITISH / IRISH
with M Hall and S Seita
49.0: OBSOLETE
with T Ryan
48.1: CANADA
with K MacCarter and S Rhodes
48.0: CONSTRAINT
with C Wakeling
47.0: COLLABORATION
with L Armand and H Lambert
46.1: MELBOURNE
with M Farrell
46.0: NO THEME III
with F Plunkett
45.0: SILENCE
with J Owen
44.0: GONDWANALAND
with D Motion
43.1: PUMPKIN
with K MacCarter
43.0: MASQUE
with A Vickery
42.0: NO THEME II
with G Ryan
41.1: RATBAGGERY
with D Hose
41.0: TRANSPACIFIC
with J Rowe and M Nardone
40.1: INDONESIA
with K MacCarter
40.0: INTERLOCUTOR
with L Hart
39.1: GIBBERBIRD
with S Gory
39.0: JACKPOT!
with S Wagan Watson
38.0: SYDNEY
with A Lorange
37.1: NEBRASKA
with S Whalen
37.0: NO THEME!
with A Wearne
36.0: ELECTRONICA
with J Jones