John Vickers

To replace Set with monoidals from both the base of a Topos and the proof. Sieves needed for Subobject Classifiers using small coproducts and terminal objects and the Yoneda Lemma for sym monoidal categories. Subfunctors in Natural Transformations with base term $\in$ Ob.

The symmetric monoidal will actually have small coproducts under the circumstances, aiding the construction of subobject classifiers.

Since I may (somehow) need the Hom Functor of the Monoidal Category, to completely eradicate 'Set' I might use the aforementioned Yoneda Lemma for Symmetric Monoidal Categories.

To prove Toposhood from symmetric monoidal closed category rather than Set: Use subcategories rather than subsets in definition of subobject classifier and analyse Top sheaf case. For Power objects look at monoidal Hom functor and eval. The diagonal reverse is known

I believe I have a rigorous proof of the Existence of God. Over the last year I've gone from a bone shaker in relatively unfamiliar territory to a Jaguar. I've managed to write about 30, 000 words. Writing it up properly may be a bit consuming as it involves many areas of maths.

I've had a poem accepted by Ink Sweat & Tears. Going live 4th Feb. Very pleased.

Girard Paradox and Intuitionism. Quine and finitely-multi-sorted logic. (I've got to this point without the Lambda Calculus.) Something that operates in the Speculative Real but is anti-realist at the same time. Brouwer and the arche-fossil.

Read some interesting ideas on Mereology by Welch et al who was my advisor. Need to read Husserl's Investigations. It could be slightly strangely interesting.

impredicative Power Set: exists a set which is the set of all subsets of a given set. Is this set a subset of the given set? Comprehension {x in W s.t. phi(x)} is a set if W is. though phi may have unbounded quantifiers varying over all sets.

Reading and thinking about Class Forcing. Friedman, Gitman, Holy, Schlipt, Hamkins. Tameness and the failure of the Forcing Relationship. Under what circumstances are the Core Models preserved? Translate that into Category Theory or Topoi.

How can one generalise the Cantorian Paradise? Take a cohesive topos and let the bflat coordinate modalities mean 'cardinality of'. However this appeals to another Category 'Set' in the adjoints. Does Russells theory of types have this feature? (Are 19C manifolds hidden here)

Reading Dauben on Cantor, concerning his God Entranced Father, manic depressive illness and the collapse of his professional mathematical career. Ronald Jensen once recommended this book rather than Hallett's

Spent the day writing 70 slides for a Workshop and decided I won't attend. I wasn't sure if a couple of slides on The Dancing Wu Li Masters would fit Generalised Baire Spaces.

I gave myself proofs (I hope) of two Lemmas today. Distantly connected and comfortably numb.

It may be a question of Topos Theoretic Many Worlds against Realism in Consistent Contextual Histories Isham et al Topos Theory. What does the former require in terms of Geometric Morphisms?

Looking at papers of Flori, Isham. Taking the Topos over V(H) or bounded commutative operators of B(H) as contexts. Why not factor with a Quantale Topos over Cat(Spin Foam)? I've mislaid Flori's Quantum Topos Theory book. Have the Quantum Systems a 'place'?

This shower of sulci on the blue washed walls makes the GABA seem kindling. Each ascending memory of colloidal musk, vertical in a noon brain.

after all these modifications to Isham's quantum topos, to accentuate the Quantum nature, will there be a dual presheaf satisfying the Kochen-Specker inequality? Will any type of 'measurement' be a forcing mechanism separate to those putatively over the noncommutative C* algebras