jmree

@jmree3

Frá Japan. Ég er forritari ók kanna type theory er að læra íslensk.

Japan
Vrijeme pridruživanja: siječanj 2019.
1 fotografija ili videozapis Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @jmree3

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @jmree3

  1. proslijedio/la je Tweet
    30. sij
    Odgovor korisniku/ci

    Hérna

    2 proslijeđena tweeta 21 korisnik označava da mu se sviđa
    Poništi
  2. proslijedio/la je Tweet
    18. sij

    Ah, yes, the mystical Japanese method of keeping a budget.

    1 reply 2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    14. sij

    *Eftir að hafa sagt syni mínum 'Úlfur, Úlfur' í gær* Ég: Og hvað kennir þessi saga okkur? Hún kennir okkur.. -Báðir á sama tíma- Ég: ...að maður á ekki að segja ósatt. Hann: ...að stundum þarf maður að berjast einn við úlfana.

    5 replies 7 proslijeđenih tweetova 449 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    11. sij

    obsessed with this picture of a seal looking up

    108.373 proslijeđena tweeta 502.874 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    11. sij

    In Iceland, sex is just a number.

    1 reply 12 proslijeđenih tweetova 273 korisnika označavaju da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    7. sij

    ahahahahahahaha what the fuck

    739 replies 22.316 proslijeđenih tweetova 90.374 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 5. sij

    Or key axiom if f:AB, g:BC , there is exactly one h satisfying h:AC and h = f;g gives information enough to construct category? And If protocategory C generates category C’, is C’ unique?(I don’t think so for now)

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. 5. sij

    I guess this condition should be said that C’ includes instances of the source-target predicate as morphisms at least.

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. 5. sij

    I don’t understand when we can say category C’ is generated by protocategory C. - C’ has same objects as C It’s okay, easy - C’ has same instances of the source-target predicate as morphism I got a bit confused, I don’t think C’ satisfies category axioms with just that

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 3. sij

    I understand the example that Gp is structured over Set. But I don’t get why we need to know about protocategory.

    Poništi
  11. 3. sij

    I should remember inclusions relationship between predicates... predicate P is contained in predicate Q iff for all x, P(x) => Q(x), maybe.

    Poništi
  12. 3. sij

    C is structure over B iff C is generated by protocategory P that satisfies following properties For all A in Ob(P), there exists underlying-object map u: A->|A|, where |A| in Ob(B). In P, source-target predicate is contained in the predicate ‘dom f = |A| and cod = |B|‘.

    Poništi
  13. 3. sij

    Hmm, it seems that we can generate category from protocategory. I guess that it will be done by taking some closure satisfies axioms of category

    Poništi
  14. 3. sij

    photocategory C - made by protomorphisms and objec - equips source-target predicate - equips composition predicate Here, I think the word predicate means that (f: A->B) has truth value, and f may not pair of objects A and B uniquely.

    Poništi
  15. proslijedio/la je Tweet
    1. sij

    Þorláksmessa: yngri sonur fær flensu sem hann er með öll jólin 28. des: eldri sonur deyr næstum 31. des: yngri sonur kominn með hand, fóta og munn sjúkdóm 1. jan: eldri sonur kominn með flensu Hvar sæki ég allt góða karmað okkar?

    5 replies 1 proslijeđeni tweet 58 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    28. pro 2019.

    Holy crap, this is incredible: A dog playing Jenga. Turn-taking, fine motor control, apparent understanding of the aim of the game. I would not have guessed a dog could do this.

    84.840 proslijeđenih tweetova 295.353 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    29. pro 2019.

    Erfiðasta við að bíða í hinar hefðbundnu 12 vikur með að opinbera óléttu er að rekast á aðrar ófrískar konur og hemja sig um að öskra ekki ÉG LÍKA ÉG LÍKA. En jæja það er opinbert. ÉG LÍKA ÉG LÍKA. Aftur.

    20 replies 2 proslijeđena tweeta 287 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    11. pro 2019.

    Remember that on Election Day, there is no bad weather, only inappropriate clothing. Now, kindly, bring out your dogs...

    148 replies 2.427 proslijeđenih tweetova 10.208 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    30. stu 2019.
    Odgovor korisnicima

    I started out with Perl, and the existence of `map` and `grep` in Perl was my original link Haskell as well! (I was obsessed with "functional perl"!)

    1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  20. 30. stu 2019.

    We call subcategory is replete when objects in the subcategory closed under isomorphism (of original category).

    Poništi

@jmree3 još nije objavio nijedan Tweet.

Č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.

    Možda bi vam se svidjelo i ovo:

    ·