Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @algebraicgeome1
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @algebraicgeome1
-
Prikvačeni tweet
There's affine line between liking homotopy theory and liking motivic homotopy theory.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Multiplicative Group Scheme proslijedio/la je Tweet
I’m close to covering all of it finally. Any help... helpshttps://twitter.com/category_fury/status/1207686131812192257 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Multiplicative Group Scheme proslijedio/la je Tweet
I just want to be accepted like computers are, when they say "We're sorry, something went wrong".
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
should assign the elements of C to maps X --> lim(D) and not maps from lim(D) to X... What's going on? [2/2]
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Actually I'm a bit confused now. Requiring these presheaves (call them LIM) to be representable gives a bijection between C= {Cones over a diagram with conepoint X} and Maps Iim(D) --> X. However for LIM(D) to be representable would give LIM(D)=h_lim(D), meaning that we [1/2]https://twitter.com/algebraicgeome1/status/1224762504284340225 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Multiplicative Group Scheme proslijedio/la je Tweet
Hyped about my new book, especially considering that it's got my name in it...


pic.twitter.com/AO0Lx2OSti
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
this gives a map lim(D) --> lim(D'). Thus lim(-) is a functor.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We can use this to show that taking the limit is a functor: - If limits exist in C, then the presheaves LIM are all representable; - Given a map of diagrams η: D ==> D', we get a map h_lim(D) = LIM(D) ----> LIM(D') = h_lim(D'); - By the fully-faithfulness of the Yoneda embedding,
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
One can then go on and cleanly show that the construction D |--> LIM(D) is functorial: Given a natural transformation η: D => D', we compose the maps in Hom_Fun(I,C)(k_X,D) with η (that is, cones over D with "cone-point" X go to cones over D' with "cone-point" X.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
And the map from lim(D) to X we send this cone to is the universal one:pic.twitter.com/R4GvAZ8M4Z
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
The map lim(D)--> X here is the universal map given in the universal property of the limit. For instance, if D is a pullback diagram of the formpic.twitter.com/VNleDmoUsz
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Given a diagram D:I-->C, the presheaf LIM sends X ∈ C to the set of cones over D having "cone-point" X. Asking for LIM to be representable means that there is an object lim(D) ∈ C such that there is a bijection {Cones over X} <--> {Maps lim(D) --> X}.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
TIL something really cool: Limits are defined as representing objects of certain presheaves in SGA IV.pic.twitter.com/uNCZTmDIW0
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Multiplicative Group Scheme proslijedio/la je Tweet
This is real. This is a real-life post by an anti-abortion activist. You can’t make this shit up.pic.twitter.com/wDjmU2ZHyh
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gonna start calling Lurie's Higher Topos Theory "The Notorious H.T.T."
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Multiplicative Group Scheme proslijedio/la je Tweet
Please help my friend out if you can!https://twitter.com/TheLotusYeeter/status/1224258055887413251 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Multiplicative Group Scheme proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Multiplicative Group Scheme proslijedio/la je Tweet
2019 was the year of me coming into my own as a woman and mathematician. This year is about flaunting it.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Multiplicative Group Scheme proslijedio/la je Tweet
Love thinking about the Grothendieck-Hatsune group
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.