solifine

@solifine

in my house we have jump scares

phck.net
Vrijeme pridruživanja: studeni 2019.

Medijski sadržaj

  1. 1. velj

    To see that this is an operad, one must check that the "two ways" of getting from [r] ⨿ (∐_{i=1}^r [mᵢ] ⨿ (∐_{j=1}^{mᵢ} [nᵢⱼ])) to [Σnᵢⱼ] are the same. ⌊08⌋

    A rendition of the images of some early elements of these composite functions.
    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
  2. 1. velj

    Define γ(i,r)=m₁+⋯+mᵢ and γ(k,mᵢ)=γ(i-1,r)+k. Here's a picture of where the images of the first few elements land inside of [Σmᵢ]. ⌊07⌋

    Writing out some terms of the function γ.
    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
  3. 1. velj
    Odgovor korisnicima

    🦌 friends

    1 reply 4 korisnika označavaju da im se sviđa
  4. 7. sij

    people are saying this to me all the time in real life

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  5. 3. sij

    Now we see what the operadic composition should be - there is only one choice! Both sides of this isomorphism are either a point or empty. [6/7]

    O(f_1, f_2, \dots, f_r; g) \times \prod_{j=1}^r O(h^j_1, h^j_2, \dots, h^j_{m_j}; f_j) \simeq O(h^1_1, h^1_2, \dots, h^r_{m_r}; g)
    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  6. 3. sij

    A 2-Segal simplicial set is called "unital" if these two diagrams are pullbacks for 0≤i≤n. [14/17]

    Diagram of the compatibility between degeneracies and outer face maps.
    1 reply 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  7. 3. sij

    Digression over, a 2-Segal simplicial set is a simplicial set where these two diagrams are pullbacks for 0<i<n. [13/17]

    Two diagrams involving the interaction between inner and outer face maps
    1 reply 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  8. 3. sij

    OK, well where did these come from? A theorem from the book "Higher Segal Spaces" by Dyckerhoff and Kapranov states that invertible operads in Set are the same thing as unital 2-Segal spaces. The color set B of the operad corresponds to the 1-simplices X₁ of the simplicial set.

    Theorem 3.6.7. The following categories are equivalent: (i) Unital 2-Segal simplicial sets. (ii) Invertible cooperads in (Set,×). (iii) Invertible operads in (Set,×).
    2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  9. 3. sij

    As far as I know, this notion is due to Dyckerhoff and Kapranov in their book "Higher Segal Operads". [2/17]

    Definition 3.6.6 from the book of Dyckerhoff & Kapranov.
    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
  10. 31. pro 2019.

    I wonder if you need to specify t[a,b]=ta and s[a,b]=tb.

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  11. 31. pro 2019.
    Odgovor korisnicima

    Also fantastic:

    2 korisnika označavaju da im se sviđa
  12. 30. pro 2019.

    Staring at this diagram.

    Diagrammatic visualization of "transversal of a surjection" from the linked paper.
    2 proslijeđena tweeta 27 korisnika označava da im se sviđa
  13. 30. pro 2019.
    Odgovor korisniku/ci

    1 korisnik označava da mu se sviđa
  14. 26. pro 2019.

    New paper by Joachim Kock.

    Abstract: Starting from any operad P, one can consider on one hand the free operad on P, and on the other hand the Baez–Dolan construction on P. These two new operads have the same space of operations, but with very different notions of arity and substitution. The main result of this paper is that the incidence bialgebras of the two-sided bar constructions of the two operads constitute together a comodule bialgebra.…
    1 reply 2 korisnika označavaju da im se sviđa
  15. 24. pro 2019.
    Odgovor korisniku/ci

    I didn't really dive in, but I don't think so. From the docs: "For differencing the same algorithm as `diff` is used but words instead of lines are compared. An attempt is made to recognize blocks which are completely changed such that they can be marked up as a unit."

    1 reply 1 korisnik označava da mu se sviđa
  16. 23. pro 2019.

    Today I tried latexdiff for the first time. It is a perl program which compares old and new versions of a latex file. The output is another latex file, which, when compiled, gives a graphical view of the changes. It worked reasonably well.

    An example of the output of the latexdiff program.
    10 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  17. 23. pro 2019.

    I drew this bird today.

    An undirected graph with two vertices and eight edges. It does not look much like a bird.
    8 korisnika označava da im se sviđa
  18. 15. pro 2019.

    We did this. Results from the first brake light clinic.

    4 proslijeđena tweeta 11 korisnika označava da im se sviđa
  19. 13. pro 2019.

    I think I'm going to have to watch this again when I have time, to figure out what (if anything) this has to do with my project with . But I enjoyed it the first time, so that's ok. Just look at how nice!

    Prikaži ovu nit
    Prikaži ovu nit
  20. 13. pro 2019.

    I was going to tweet what bimodules correspond to, but maybe I shouldn't spoil the surprise?

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit

@solifine još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

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

    ·