Differences

This shows you the differences between two versions of the page.

--- blog:2023-04-18 [2023/04/18 22:31] – created pzhou
+++ blog:2023-04-18 [2023/06/25 15:53] (current) – external edit 127.0.0.1
@@ Line 2: / Line 2: @@
 Don't waste time, just write the paper.
+  * reflexive and coreflexive
+===== projector =====
+Suppose $i: D \into C$ is a full subcategory, and the inclusion preserves colimit, then we have the right-adjoint of $i$. Denoted as $R_D$. Suppose $D$ is generated by one object $d$,
+$$ R_D = d \otimes_{End(d)} Hom(d, -) : C \to D $$
+everything is derived.