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 | |
Results tagged with infinity-categories
Search options questions only
not deleted
user 57280
Part of higher category theory that for instance in Algebraic Topology enables us to capture finer homotopic distinctions. As in say Eilenberg-Maclane spaces.
4
votes
2
answers
488
views
Pullbacks and fibers in the $\infty$-category of spaces
Suppose given a commutative diagram in the $\infty$-category of spaces, as the one depicted below, where all but the bottom-right squares are pullbacks. Is it true that $H$ is (equivalent to) the fibe …
- 1,403
10
votes
1
answer
659
views
On HTT's Lemma 3.3.4.1
While studying the book Higher Topos Theory I have encountered some difficulty with Lemma 3.3.4.1, which says that the pullback along a cartesian fibration of a map q such that $q^{op}$ is cofinal is …
- 1,403
7
votes
2
answers
389
views
Equivalent definitions of Cartesian Fibrations between Quasi-Categories
In the paper by Verity and Riehl "Fibrations and Yoneda lemma in an ${\infty}$-cosmos" (https://arxiv.org/abs/1506.05500), they prove a Yoneda lemma that holds in any ${\infty}$-cosmos (see Corollary …
- 1,403
8
votes
0
answers
260
views
A completeness criterion for $\infty$-categories
We all know that for ordinary categories $\mathscr{C}, \mathscr{D}$ (with $\mathscr{C}$ small) the limit of a functor $F:\mathscr{C} \to \mathscr{D}$, if it exists, can be constructed by using product …
- 1,403
2
votes
0
answers
83
views
Cancellation property of groupoidal cartesian fibrations
I have an issue concerning a property of "left cancellation" for groupoidal cartesian fibrations of ∞-cosmoi (but everything works fine in a 2-category as well).
A 1-cell $p: E \to B$ is called group …
- 1,403
3
votes
1
answer
140
views
Segal maps for Segal precategories
A Segal precategory is just a simplicial space $X:\Delta^{op} \to sSet$ such that its $0$-th space is discrete (i.e. constant). A Segal category is defined everywhere in the literature as a Segal prec …
- 1,403
13
votes
1
answer
594
views
Lemma 2.1.1.4 in Lurie's HTT
I have encountered a problem in understanding Lurie's proof of the following fact:
"Given a left fibration between simplicial sets $q:X \to S$, there exists a functor $$ho(S) \to Ho(sSet)$$ which is …
- 1,403
2
votes
1
answer
245
views
Is the discrete nerve of a small category a complete Segal space?
While reading Rezk's paper "A model for the homotopy theory of homotopy theory", I found a remark which contradicts a guess of mine, but I can't see where I am wrong (perhaps it might be a silly mista …
- 1,403
0
votes
1
answer
152
views
Clarification about Joyal's notation [closed]
At the very beginning of chapter 5 of Joyal's lectures on Quasi-Categories (http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf), he uses a notation which I think he has never explained …
- 1,403