<em id="zlul0"></em><dl id="zlul0"><menu id="zlul0"></menu></dl>

    <em id="zlul0"></em>

      <dl id="zlul0"></dl>
        <div id="zlul0"><tr id="zlul0"><object id="zlul0"></object></tr></div>
        <em id="zlul0"></em>

        <div id="zlul0"><ol id="zlul0"></ol></div>

        Stack Exchange Network

        Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

        Visit Stack Exchange

        Questions tagged [higher-category-theory]

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

        9
        votes
        1answer
        493 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 ...
        1
        vote
        0answers
        134 views

        Comparing cohomology using homotopy fibre

        I have a question, which might be very basic, but I don't know enough topology to answer. Suppose you have a map of topological spaces (or homotopy types) $f : X \to Y$, with homotopy fibre given by ...
        3
        votes
        0answers
        53 views

        On cofibrations of simplicially enriched categories

        Let $\mathbb{C}$ be an strict 2-category and denote by $C$ is underlying 1-category viewed as as a 2-category only having identity 2-cells. We have a canonical inclusion functor , $$i: C \...
        13
        votes
        2answers
        457 views

        Describing fiber products in stable $\infty$-categories

        Let $f\colon X \rightarrow Z$ and $g\colon Y \rightarrow Z$ be two morphisms in a stable infinity category $\mathcal{C}$. How does one show that the $\infty$-categorical fiber product $X \times_Z Y$ ...
        7
        votes
        2answers
        256 views

        What is an example of a quasicategory with an outer 4-horn which has no filler?

        A quasicategory has fillers for all inner horns $\Lambda^i[n]$ where $n\geq 2$ and $0<i<n$, but it need not have fillers for $i=0$ (or $i=n)$. In particular, for $n=2$ and $n=3$ there are easy ...
        10
        votes
        0answers
        228 views

        When is Fun(X,C) comonadic over C with respect to the colimit functor?

        Because I'm primarily interested in this question from the point of view of $\infty$-categories (in this case, modeled by quasicategories), I'll ask this question using that terminology. In particular,...
        5
        votes
        1answer
        174 views

        Are semisimplicial hypercoverings in a hypercomplete $\infty$-topos effective?

        A hypercovering in an $\infty$-topos $E$ is a simplicial object $U \in {\rm Fun}(\Delta^{\rm op},E)$ such that each map $U_n \to ({\rm cosk}_{n-1} U)_n$ is an effective epimorphism. Theorem 6.5.3.12 ...
        6
        votes
        0answers
        130 views

        2-categorical Yoneda embedding and limits

        Does the 2-categorical Yoneda embedding defined in A.2 Section 5 of `A study in derived algebraic geometry' (Gaitsgory and Rozenblyum, version of 2018-11-14) preserve limits for any $(\infty,2)$-...
        10
        votes
        2answers
        806 views

        Results relying on higher derived algebraic geometry

        Are there any results in number theory or algebraic geometry whose statement does not involve either higher categories or any derived structures but whose most natural (known) proof uses derived $n$-...
        6
        votes
        1answer
        1k views

        Anabelian geometry ~ higher category theory

        Note: I'm worried this question might be taken as controversial, because it relates to Shinichi Mochizuki’s work on the abc conjecture. However, my question has nothing to do with the correctness of ...
        3
        votes
        1answer
        201 views

        Geometry of 2-arrows

        It is frequently said that one of the contributions of Grothendieck to geometry was to systematically think about the properties of morphisms, as opposed to the properties of spaces themselves (the ...
        4
        votes
        0answers
        191 views

        A compendium of weak factorization systems on $sSet$

        A (weak) factorization system on a category $\mathcal{C}$ consists of a pair of classes of morphisms in the category $(L,R)$ satisfying Every morphism $f:x \to y \in \mathcal{C}$ can be factored (...
        1
        vote
        0answers
        62 views

        A construction for the free $\omega$-category generated by a globular set

        The forgetful functor from strict $\omega$-categories to globular sets has a left adjoint. Where can one find an explicit construction for this free functor?
        5
        votes
        1answer
        263 views

        Are there universal homological functors?

        There is a bifunctor $H: Stab^{op} \times Ab \to Top$ where $H(C,A)$ is the space of homological functors $C \to A$. Is this bifunctor left or right representable? That is, for each small abelian ...
        10
        votes
        0answers
        133 views

        Where is it shown that homotopy sheaves form a higher stack?

        Many references on infinity categories etc. advertise that one application is that it's an appropriate setting to glue (the appropriate replacement for) derived categories of sheaves. What's the ...

        15 30 50 per page
        山西福彩快乐十分钟
          <em id="zlul0"></em><dl id="zlul0"><menu id="zlul0"></menu></dl>

          <em id="zlul0"></em>

            <dl id="zlul0"></dl>
              <div id="zlul0"><tr id="zlul0"><object id="zlul0"></object></tr></div>
              <em id="zlul0"></em>

              <div id="zlul0"><ol id="zlul0"></ol></div>
                <em id="zlul0"></em><dl id="zlul0"><menu id="zlul0"></menu></dl>

                <em id="zlul0"></em>

                  <dl id="zlul0"></dl>
                    <div id="zlul0"><tr id="zlul0"><object id="zlul0"></object></tr></div>
                    <em id="zlul0"></em>

                    <div id="zlul0"><ol id="zlul0"></ol></div>
                    楚天风采30选5开奖 传奇无敌金刚剑 拳皇98ol小镇 08-09nba掘金vs小牛 有你的校园援彩金 宝石探秘之谜1代手机版 3d海底总动员 炸金花的技巧 拜仁慕尼黑ppt 德国杯沙尔克04