You are here |
thehousecarpenter.wordpress.com | ||
| | | |
johnbender.us
|
|
| | | | Writings on computer stuff. | |
| | | |
thehighergeometer.wordpress.com
|
|
| | | | 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
|
|
| | | | 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
|
|
| | 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... |