# Justin Curry

 1,773 Reputation 1520 views

## Registered User

 Name Justin Curry Member for 3 years Seen May 14 at 15:19 Website Location Philadelphia Age 26
I am a second-year grad student.
 Mar20 comment Cosheafification@arsmath: Yes, you are right. It has a pretty strong consistency requirement. If I understand correctly, the strength of Vopenka's principle lies between Reinhardt cardinals and unmeasurable cardinals, but I don't have any committed opinions as to how controversial this is. I tend not to worry too much about these things, but perhaps I should. Mar20 comment CosheafificationNice! Does this proof assume Vopenka's principle? Mar20 comment Cosheafification@Ryan: No, a functor $F:C\to D$ always can be used formally to define a functor $F^{op}:C^{op}\to D^{op}$. The assignment of objects remains the same, so $F^{op}(x)=F(x)$, but now a morphism $f:x\to y$ in $C$ becomes a morphism $f^{op}:y\to x$. The functor $F^{op}$ sends $f^{op}$ to $F(f)^{op}$. $F(f):F(x)\to F(y)$ defines a morphism $F(f)^{op}:F(y)\to F(x)$ in $D^{op}$, which is equal to $F^{op}(f^{op}):F^{op}(y)\to F^{op}(x)$. I don't know what you mean by "destroys covers." Mar19 revised Cosheafificationadded 1 characters in body Mar19 answered Cosheafification Jan20 awarded ● Necromancer Jan20 answered Cosheaf homology and a theorem of Beilinson (in a paper on Mixed Tate Motives)