Showing posts with label LaTeX. Show all posts
Showing posts with label LaTeX. Show all posts

Sunday, January 5, 2014

With only a glimpse....

With only a glimpse....
With; only! (only), a glimpse...

.

Surreal ecstaticism,
Existential transcendentalism,
Fluttering up, Up,,,, UP!!!!! Flyyyiiinnng_(grounded); from:
those purple eyes....

Smiles past...
Mystery present,
Cordless Balloon! -(onononooon)!!!! (that I have become); from:
those! those ... those purple eyes

Existential extaticism,
Surreal transcendentalism,
Flyiiinnnininiingingin_g!!!!!!  _(grounded)_ , fluttering purple....

Oh! mysteriouis pruple; jittery-joy!!!!!

.
.
.

from those pruple eyes...












Tuesday, May 7, 2013

A little something on Topoi

A Topos E is a mathematical object called a locally small Category, which has limits and a power object.  That is to say that for any object A of E the functor Sub($- \times A$) of objects which factor through $- \times A$ is  non-empty member of the category $Sets$.  Moreover there is an object of E called the power object of A for which Hom(-,PA)$\cong$  Sub(-,-$\times$ A).

Note: recall since E is locally small Hom(-PA) is a set so the equivalence of objets above is a bijection in Sets.

Some examples of Topoi would be the category sets; here for any object X PX is $\mathscr{P}$(X) its power set.  With the natural equivalence of $\phi$: Hom(-,PA)$\cong$  Sub(-,-$\times$ A) to be $\phi$:Hom(1,PB)$\rightarrow$Sub(B).