Explore >> Select a destination


You are here

thehousecarpenter.wordpress.com
| | johnbender.us
8.9 parsecs away

Travel
| | Writings on computer stuff.
| | thehighergeometer.wordpress.com
7.0 parsecs away

Travel
| | Following on from last post I want to talk about the appropriate notion of morphism between the objects I defined. Recall that these are Lie groupoids $latex X$ with a map to the manifold $latex M$ satisfying some properties ($latex X_0 \to M$ and $latex X_1 \to X_0\times_MX_0$ are surjective submersions), and then equipped with...
| | bartoszmilewski.com
10.1 parsecs away

Travel
| | Previously: Covering Sieves. We've seen an intuitive description of presheaves as virtual objects. We can use the same trick to visualize natural transformations. A natural transformation can be drawn as a virtual arrow $latex \alpha$ between two virtual objects corresponding to two presheaves $latex S$ and $latex P$. Indeed, for every $latex s_a \in S...
| | www.jeremykun.com
121.1 parsecs away

Travel
| In this article I'll derive a trick used in FHE called sample extraction. In brief, it allows one to partially convert a ciphertext in the Ring Learning With Errors (RLWE) scheme to the Learning With Errors (LWE) scheme. Here are some other articles I've written about other FHE building blocks, though they are not prerequisites...