Proof

One might wonder why
the human spirit
optimistic
sees the
language of the
infinite hierarchy of universes
one can consider
equivalence
the poet
transport
the river
univalence
the sun
the air
will then equip
computational meaning
our greatest human impulse
the mountain
perpetual
cannot properly define them
naturally
natural transformations
exist in some form
one can easily construct
paths
beyond our control
diagonal maps
squiggly arrows without any specified direction
divinities
as morphisms
redefining
our dreams
the ideas underlying
identities
are not generally true
That is,
we will reduce
to face
absurd faces
but then what about
the great mystery
the geometric intuition
it is not sufficient
trivially
no deep reason
free
we have now finally reached
the last equality

Collage sources: Anders Mörtberg's lecture notes on cubical type theory, a cube from Carlo Angiuli's thesis, and an issue of National Geographic.

Jade

Jade

I found myself
buzzing about
in a cloud of mist

so suffused with the military ethos
I would struggle
to look,

I was
a firm yet delicate
beautiful
shadow
waging war
I confess

Kiss the chaos
she told me
with a merciless
hope

and
take
my
love

A sibilant language
seeking
stability

For the first time,
explore
the free and open flow
the return of
a future

Collage sources: National Geographic & Foreign Affairs

Fin