Re: [HoTT] Is synthetic the right word?

[Eric Finster <ericf...@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1175 bytes --]

Hi,

Thierry:  Great!  That's really cool!  It hadn't occurred to me that
cubicaltt had that kind of implication for the model theory.

Urs:  Thanks for the reference.  That's exactly the kind of thing I had in
mind.

Cheers,

Eric

On Thu, Jun 16, 2016 at 8:18 PM Urs Schreiber <urs.sc...@googlemail.com>
wrote:

> > was bad)  With this in mind, I guess
> > in the remark this would correspond to something like considering the
> > "enriched"
> > presheaves with some chosen model structure.  But I'm getting a bit out
> of
> > my depth here
> > so maybe someone can chime in to help me out ...
>
> The model structure that you are after here, for excisive functors,
> modeled on the pointed topologically enriched category of finite
> pointed CW-complex is discussed in
>
> Michael Mandell, Peter May, Stefan Schwede, Brooke Shipley,
> "Model categories of diagram spectra"
> https://ncatlab.org/nlab/show/Model+categories+of+diagram+spectra
>
> This is the topologically enriched version of Lydakis' simplicially
> enriched model structure for excisive functors
>
> https://ncatlab.org/nlab/show/model+structure+for+excisive+functors
>

[-- Attachment #2: Type: text/html, Size: 1831 bytes --]