Skip to main content
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
Results tagged with
Search options not deleted user 402

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 …
Dmitri Pavlov's user avatar
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 …
Dmitri Pavlov's user avatar
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- …
Dmitri Pavlov's user avatar
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 …
Dmitri Pavlov's user avatar
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$ …
Dmitri Pavlov's user avatar
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 …
Dmitri Pavlov's user avatar
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 …
Dmitri Pavlov's user avatar
10 votes
Accepted

Supermanifolds — elementary introduction?

There is a short elementary survey by Hohnhold, Stolz, and Teichner: Super manifolds: an incomplete survey.
LSpice's user avatar
  • 12.9k
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 …
Dmitri Pavlov's user avatar
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 …
Dmitri Pavlov's user avatar
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.
Dmitri Pavlov's user avatar
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 …
dohmatob's user avatar
  • 6,853
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 …
Dmitri Pavlov's user avatar
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 …
Dmitri Pavlov's user avatar

15 30 50 per page