<ruby id="d9npn"></ruby>

      <sub id="d9npn"><progress id="d9npn"></progress></sub>

      <nobr id="d9npn"></nobr>

      <rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

      <th id="d9npn"><meter id="d9npn"></meter></th>

      Questions tagged [infinity-categories]

      The tag has no usage guidance.

      Filter by
      Sorted by
      Tagged with
      3
      votes
      1answer
      135 views

      Proving a Kan-like condition for functors to model categories?

      I've been trying to prove this version of the Kan condition for a project that I'm thinking about, and I'm pretty stuck. My experience asking questions about this stuff on MO in the past has been ...
      1
      vote
      1answer
      149 views

      Existence of pointwise Kan extensions in $\infty$-categories

      This answer by Emily Riehl mentions a to-be-published proof of the fact that $\infty$-categorical (pointwise) Kan extensions exist when the target category admits (co)limits indexed by the relevant ...
      2
      votes
      0answers
      279 views

      Is there such a field as applied $\infty$-category theory?

      It seems that applied category theory has exploded in popularity in recent years. My question is simple: had there been any work using $\infty$-category theory in applications? Edit: By ...
      2
      votes
      0answers
      79 views

      Simplicial sets of categories as models for $(\infty,1)$-categories [duplicate]

      Disclaimer: I am not knowledgeable at all about the subject of this question, so my apologies if I say something incorrect or too imprecise. In my understanding, there are several models for $(\infty,...
      6
      votes
      3answers
      342 views

      Definition of $E_n$-modules for an $E_n$-algebra

      The category $Mod^{E_n}_A(\mathcal{C})$ of $E_n$-modules for an $E_n$-algebra in a symmetric monoidal $\infty$-category $\mathcal{C}$ is defined in Lurie's Higher Algebra as a special case of a more ...
      8
      votes
      1answer
      413 views

      Proj construction in derived algebraic geometry

      The question My question is easy to state: Is there a Proj construction in derived geometry, that produces a derived stack from a “graded derived algebra”? Given the vagueness of the question, you’...
      5
      votes
      0answers
      98 views

      CoCartesian vs. locally CoCartesian fibrations

      Say $\pi: C\to J$ is an inner fibration of $\infty$-categories. Then "morally", $\pi$ corresponds to a diagram indexed by $J$ in the "category of categories with correspondences", and if $\pi$ is ...
      7
      votes
      1answer
      408 views

      Reference request: The unit of an adjunction of $\infty$-categories in the sense of Riehl-Verity is a unit in the sense of Lurie

      I'm looking for a reference (or proof) for the statement given in the title: that when we have an adjunction between quasicategories in the sense of Riehl and Verity (defined e.g. in Section 4 of ...
      1
      vote
      1answer
      172 views

      Is the pushforward of a closed immersion of spectral Deligne-Mumford stacks conservative?

      Let $ X \hookrightarrow Y$ be a closed immersion of (connective) spectral Deligne-Mumford stacks, is $ i_* : Qcoh(X) \rightarrow Qcoh(Y)$ conservative? Somehow I couldn't find the statement in SAG...
      15
      votes
      1answer
      521 views

      Natural examples of $(\infty,n)$-categories for large $n$

      In Higher Topos Theory, Lurie argues that the coherence diagrams for fully weak $n$-categories with $n>2$ are 'so complicated as to be essentially unusable', before mentioning that several dramatic ...
      3
      votes
      0answers
      49 views

      Computing weak operadic colimits as colimits

      I am trying to reduce the computation of weak operadic colimits to colimits. Let me introduct some notation. Let $q:C^{\otimes} \to N(Fin_*)$ be a symmetric monoidal category. Let $p: K \to C^{\...
      4
      votes
      1answer
      112 views

      Inner fibrations are Kan fibrations on Map sets

      Firstly, a bit of notation. Let $C$ be a simplicial set. We define, for $x,y \in C$ vertices in $C$ $$Map(x,y) = \{x\}\times_{\Delta^{\{0\}}}Map_{sSet}(\Delta^1,C) \times_{\Delta^{\{1\}}} \{y\} $$ ...
      1
      vote
      0answers
      75 views

      Straightening of a marked simplicial set

      Let $X$ be in $Set_{\Delta}$, let $\phi=id:\mathbb{C}X\rightarrow \mathbb{C}X$ be the map of simplicial categories over which we want to straighten. Assuming that $X$ is a quasi-category, how can one ...
      0
      votes
      0answers
      42 views

      Some properness condition in simplicial sets

      Suppose that $C \to D$ is a trivial Kan fibration, and $D' \to D$ is an equivalence of simplicial sets. Let $C'$ be their pullback. Is it true that $C' \to D'$ is an equivalence? Recall that a ...
      10
      votes
      1answer
      540 views

      What does the homotopy coherent nerve do to spaces of enriched functors?

      Suppose I have two fibrant simplicially enriched categories $C$ and $D$. Then I can consider the collection of simplicial functors $sFun(C,D)$ which, if I recall correctly, has the structure of a ...

      15 30 50 per page
      特码生肖图
      <ruby id="d9npn"></ruby>

          <sub id="d9npn"><progress id="d9npn"></progress></sub>

          <nobr id="d9npn"></nobr>

          <rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

          <th id="d9npn"><meter id="d9npn"></meter></th>

          <ruby id="d9npn"></ruby>

              <sub id="d9npn"><progress id="d9npn"></progress></sub>

              <nobr id="d9npn"></nobr>

              <rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

              <th id="d9npn"><meter id="d9npn"></meter></th>

              江西新十一选五彩经网 河北11选5开奖查询 快乐时时彩走势图开奖 山东新11选5开奖结果 15876计划网时时彩 三分赛 2018白小姐四肖中特期期准 广东11选5开奖直播 多彩重庆30秒怎么玩 时时缩水工具手机端