“From where did topos theory come?” that is
poses rhetorical questions
Also: self-answer, self-slaughter.
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.
it’s all about Cartesian-closed categories with subobject classifiers
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,
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
Tell Me Like You Mean It v5
50% off your entire book order until 12 December. Entire order. 1 copy per title. Use SUMMER code at checkout.
- 104: KINwith E Shiosaki 103: AMBLEwith E Gomez and S Gory 102: GAMEwith R Green and J Maxwell 101: NO THEME 10with J Kinsella and J Leanne 100: BROWNFACE with W S Dunn 99: SINGAPOREwith J Ip and A Pang 97 & 98: PROPAGANDAwith M Breeze and S Groth 96: NO THEME IXwith M Gill and J Thayil 95: EARTHwith M Takolander 94: BAYTwith Z Hashem Beck 93: PEACHwith L Van, G Mouratidis, L Toong 92: NO THEME VIIIwith C Gaskin 91: MONSTERwith N Curnow 90: AFRICAN DIASPORAwith S Umar 89: DOMESTICwith N Harkin 88: TRANSQUEERwith S Barnes and Q Eades 87: DIFFICULTwith O Schwartz & H Isemonger 86: NO THEME VIIwith L Gorton 85: PHILIPPINESwith Mookie L and S Lua 84: SUBURBIAwith L Brown and N O'Reilly 83: MATHEMATICSwith F Hile 82: LANDwith J Stuart and J Gibian 81: NEW CARIBBEANwith V Lucien 80: NO THEME VIwith J Beveridge 57.1: EKPHRASTICwith C Atherton and P Hetherington 57: CONFESSIONwith K Glastonbury 56: EXPLODE with D Disney 55.1: DALIT / INDIGENOUSwith 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