Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[ספר][B] Categorical homotopy theory
E Riehl - 2014 - books.google.com
This book develops abstract homotopy theory from the categorical perspective with a
particular focus on examples. Part I discusses two competing perspectives by which one …
particular focus on examples. Part I discusses two competing perspectives by which one …
Univalence for inverse diagrams and homotopy canonicity
We describe a homotopical version of the relational and gluing models of type theory, and
generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy …
generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy …
[HTML][HTML] Algebraic weak factorisation systems I: Accessible AWFS
Algebraic weak factorisation systems (awfs) refine weak factorisation systems by requiring
that the assignations sending a map to its first and second factors should underlie an …
that the assignations sending a map to its first and second factors should underlie an …
[ספר][B] A handbook of model categories
S Balchin - 2021 - Springer
The idea for this book was conceptualized during a research visit to Macquarie University in
the summer of 2017. At first, I was interested in collecting exotic examples of model …
the summer of 2017. At first, I was interested in collecting exotic examples of model …
Six model structures for DG-modules over DGAs: model category theory in homological action
In Part 1, we describe six projective-type model structures on the category of differential
graded modules over a differential graded algebra A over a commutative ring R. When R is …
graded modules over a differential graded algebra A over a commutative ring R. When R is …
[HTML][HTML] Diagram spaces and symmetric spectra
We present a general homotopical analysis of structured diagram spaces and discuss the
relation to symmetric spectra. The main motivating examples are the I-spaces, which are …
relation to symmetric spectra. The main motivating examples are the I-spaces, which are …
When Bousfield localizations and homotopy idempotent functors meet again
We adopt semimodel categories to extend fundamental results related to Bousfield
localizations of model categories. More specifically, we generalize Bousfield-Friedlander …
localizations of model categories. More specifically, we generalize Bousfield-Friedlander …
Equivariant Infinite Loop Space Theory: The Space Level Story
We rework and generalize equivariant infinite loop space theory, which shows how to
construct $ G $-spectra from $ G $-spaces with suitable structure. There is a classical …
construct $ G $-spectra from $ G $-spaces with suitable structure. There is a classical …
Six model categories for directed homotopy
P Gaucher - arxiv preprint arxiv:1904.04159, 2019 - arxiv.org
We construct a q-model structure, a h-model structure and a m-model structure on
multipointed $ d $-spaces and on flows. The two q-model structures are combinatorial and …
multipointed $ d $-spaces and on flows. The two q-model structures are combinatorial and …
Left properness of flows
P Gaucher - arxiv preprint arxiv:1907.01454, 2019 - arxiv.org
Using Reedy techniques, this paper gives a correct proof of the left properness of the q-
model structure of flows. It fixes the preceding proof which relies on an incorrect argument …
model structure of flows. It fixes the preceding proof which relies on an incorrect argument …