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 84398

For questions involving one or more categorical dimensions, or involving homotopy coherent categorical structures.

3 votes
0 answers
149 views

Displaying displayed categories

Displayed categories provide a natural categorification from classifying functions to the world of functors. The spirit of the idea is to encode a functor $ F: D \to C $ using a suitable 2-functor (la …
Mathemologist's user avatar
1 vote
0 answers
68 views

Underdetermined Polynomial $(\infty ,1)$-Functors

Is there any sense in which the full subcategory of n-excisive functors (on spectra or on pointed spaces) on those functors $F$ which satisfy a set of distinct (modulo homotopy equivalence) equations …
Mathemologist's user avatar
2 votes
1 answer
292 views

Can tangent ($\infty$,1)-categories be described in terms of the higher Grothendieck constru...

Given a locally presentable ($\infty$,1)-category $C$, can the fibrewise stabilization of it's codomain fibration, also called its tangent category $TC$, be given in terms of the Grothendieck construc …
Mathemologist's user avatar
3 votes
0 answers
133 views

Is there a construction capturing indexed families of adjunctions?

I'm sorry in advance if this question does not belong on this site. I am curious as to what is "really" going on when you have a family of functors indexed by elements in a base category, all of which …
Mathemologist's user avatar