Why is this running forever?

Stream: new members

[Brendan Seamas Murphy]

I was trying to establish that Ch(A) has limits when A does and for some reason my proof that the cone I construct is a limit cone doesn't work. Can anyone take a look and help me figure out what's wrong? The non-working code is at https://gist.github.com/Shamrock-Frost/3754872b64482e5d04546ce72a24cfe9

[Andrew Yang]

I haven't looked into your code but note that this is already done in LTE.

[Brendan Seamas Murphy]

Thanks!