Kadanstsev Georgii

icon indicating an email [email protected]

icon location Saint Petersburg, Russia icon location Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic

Results 2 issues of Kadanstsev Georgii

Toposes and Heyting Algebras

Definition of a Heyting algebra together with the adjunction + the (- x A) functor for cartesian categories

Presheaves and Yoneda Lemma

This contains a proof that the category of presheaves is complete together with the yoneda lemma and the universal property of the presheves category.