some model categories

some model categories

[Thierry Coquand]

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

 I tried in the following note<http://www.cse.chalmers.se/~coquand/mod2.pdf> to present as simply as possible
the model structure discovered by
Christian Sattler on a large class of presheaf categories (the hypotheses
I have on the base category are not minimal). The goal of the note is only
to describe what are the fibrations, cofibrations and weak equivalence
without giving proofs (only the 2 first sections are necessary; one remark
however is that the proofs are all effective).
 It is not clear at this point if the categories obtained by localising at weak
equivalences are equivalent to the homotopy category of Top.
 Thierry


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

Re: [HoTT] some model categories

[Nicola Gambino]

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

Dear all,

Those of you who are interested in Christian Sattler's result may find of interest also the slides of two talks, available at:

    http://www1.maths.leeds.ac.uk/~pmtng/gdr-I.pdf
    http://www1.maths.leeds.ac.uk/~pmtng/gdr-II.pdf

With best wishes,
Nicola

==
Dr Nicola Gambino
School of Mathematics, University of Leeds

On 29 Dec 2016, at 13:46, Thierry Coquand <Thierry...@cse.gu.se<mailto:Thierry...@cse.gu.se>> wrote:

 I tried in the following note<http://www.cse.chalmers.se/~coquand/mod2.pdf> to present as simply as possible
the model structure discovered by
Christian Sattler on a large class of presheaf categories (the hypotheses
I have on the base category are not minimal). The goal of the note is only
to describe what are the fibrations, cofibrations and weak equivalence
without giving proofs (only the 2 first sections are necessary; one remark
however is that the proofs are all effective).
 It is not clear at this point if the categories obtained by localising at weak
equivalences are equivalent to the homotopy category of Top.
 Thierry


--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeThe...@googlegroups.com<mailto:HomotopyTypeThe...@googlegroups.com>.
For more options, visit https://groups.google.com/d/optout.

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