Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
This tag is used if a reference is needed in a paper or textbook on a specific result.
4
votes
Accepted
Is the standard model structure on reduced simplicial sets cofibrantly generated?
Yes, the model structure on reduced simplicial sets is cofibrantly generated.
An explicit proof of this statement is given by Goerss and Jardine in Simplicial Homotopy Theory, the proof of Proposition …
5
votes
Model categories: "equivalence" of finite limits and finite colimits
The statement is false in its current form: there are left Quillen functors between stable model categories that do not preserve finite limits.
However, since ∞-categories are mentioned, presumably wh …
3
votes
Canonical reference for dictionary between $G$-spaces and fiber bundles over $BG$?
One reference is the two papers by Nikolaus–Schreiber–Stevenson:
Principal ∞-bundles – General theory
Principal ∞-bundles – Presentations
In particular, these papers explain the equivalence between G- …
4
votes
References on principal $\mathbf{C}$-bundles, where $\mathbf{C}$ is a category?
Such a notion of a principal $\def\bC{{\bf C}}\bC$-bundle (when $\bC$ is a topological or simplicial category, or a Segal space) is available in Definition 6.1 of the paper Classifying spaces of infin …
7
votes
Relative category structure on (Set valued) presheaves
The usual constructions of Grothendieck homotopy theory (as presented by Maltsiniotis and Cisinski) can be easily extended to the setting of relative categories.
Recall that given a small category $A$ …
15
votes
2
answers
1k
views
Is there a citeable reference for star-shaped open subsets of R^n being diffeomorphic to R^n?
A folk theorem says that star-shaped open subsets of R^n are diffeomorphic to R^n.
Is there a citeable reference for a proof of this result?
For the sake of being definite, let's say that
“citeable” m …
4
votes
Is there any elementary text unravelling the definitions of 2-category, lax functor and lax ...
The book 2-dimensional categories by Johnson and Yau does seem to satisfy all of the required conditions: it unravels all definitions in full detail, spelling out the details for 2-categories and natu …
12
votes
Accepted
Are there textbooks on differential geometry in the language of smooth sets or smooth derive...
“Diffeology” by Patrick Iglesias-Zemmour is probably the closest match.
He develops differential forms and de Rham cohomology, fiber bundles, connections, and symplectic geometry in the language of di …
10
votes
Accepted
Supermanifolds — elementary introduction?
There is a short elementary survey by Hohnhold, Stolz, and Teichner:
Super manifolds: an incomplete survey.
6
votes
Accepted
Where can I find a definition of $\underline{H}^p(X, \mathscr{F})$?
As indicated in the comments, the notation $\def\HH{\underline{\rm H}}\def\H{{\rm H}}\HH^p(X,F)$ is defined (for example) by Milne in Étale Cohomology as the $p$th right derived functor of the inclusi …
5
votes
Accepted
Derived functors out of an unbounded derived $\infty$-category
An account of derived functors between ∞-categories equipped with weak equivalences and fibrations can be found in Section 7.5 of Cisinski's Higher Categories and Homotopical Algebra. This setting is …
5
votes
Original reference for generators and relations of 2-dimensional TQFT
Generators and relations for the nonextended 2-dimensional bordism category already appear in Robbert Dijkgraaf's 1989 PhD dissertation, see Section 3.2.
2
votes
Accepted
Homologous quotient of fundamental groupoid
The resulting groupoid is equivalent to the disjoint union of groupoids $B(H_1(X_i))$
taken over all connected components $X_i$ of $X$.
This answers both 1 and 2 in the positive.
To see this, observe …
2
votes
Accepted
Looking for a paper on axiomatic orthogonality in a vector space
This journal published by the Herzen University is not yet available in electronic form.
A paper version can be found in multiple libraries, including the National Library of Russia.
They will scan pa …
5
votes
Learning roadmap to 'Differential cohomology in a cohesive $\infty$ topos'
I would say that understanding traditional differential cohomology is a reasonable prerequisite.
There are multiple good sources:
Ulrich Bunke: Differential cohomology
Diferential Cohomology. Categ …