« first day (821 days earlier)      last day (2582 days later) » 

01:31
@CatherineRay FWIW I always just took this to mean connective $KO$-theory, based on the fact that somebody thought $ko$ looked stupid, since $o$ is not a Lie group, but $O$ is.
But I've also never had anything important depend on me being right about this either.
Oh, @EricPeterson probably knows...
 
1 hour later…
03:08
I've been told by the author of the paper that its also notation for connective KO theory. Thanks for the further explanation of why, @JonBeardsley.
can anyone confirm for me that the inclusion $\mathrm{Spaces} \subset s\mathrm{Spaces}$ is a distributor (in the sense of [LurieGoo])? i've always had trouble parsing these long strings of quantifiers in topos theory
(or presumably also in the sense of [BarwickSecretThesis])
 
2 hours later…
05:10
@Aaron: what is a distributor in the sense of [LurieGoo]? (does Goo mean Goodwillie here?)
haha yeah, that's my citation code for math.harvard.edu/~lurie/papers/GoodwillieI.pdf
it's a beautiful paper (or at least section 1 is, that's the main part i've spent any time with), you should check it out if you haven't
roughly, a distributor is an inclusion $X \subset Y$ of $\infty$-categories which is a generalization of an $\infty$-topos
it allows for a robust notion of "an $\infty$-category enriched in $Y$, whose "object of objects" is an object of $X$"
as i said, i'd like to verify that $\mathrm{Spaces} \subset s\mathrm{Space}$ is a distributor (Def 1.2.1), presumably via the characterization of Cor 1.2.5. but i just can't quite wrap my head around it.
(however, this only allows for enriching with respect to the cartesian symmetric monoidal structure on $Y$)
(which should be believable, since it's all a generalization of the ordinary theory of complete segal spaces)
 
15 hours later…
20:42
only homotopy-theory here?
@banach-c well, that's what most of us usually talk about
also algebraic geometry, category theory, some other stuff
it's not like anything is banned tho
21:03
ok, thanks. I am interested in C*algebras. But my questions are not all research-level. Is here only research-level ?
@banach-c again, you're not going to be like, banned, or made fun of or anything. you can talk about, or ask about, whatever you want, as long as you don't spam people
this is super informal.
on the other hand, if nobody feels like responding, or knows how to respond, to what you're saying, you'll probably be met with dead silence. don't take it personally. it happens to me on a daily basis.
okay, thanks. sorry I'm here for the first time.
oh, I'm not the only woman here=)
but I have to do math now, bye
21:21
haha no worries. cya!

« first day (821 days earlier)      last day (2582 days later) »