The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
163 views

Constructing a “geometric” model structure on Cat by localizing the “categorical” model structure

Let $\text{Cat}$ be the category of (small) categories and functors. There is a "categorical" (also called "canonical" or "folk") model structure on $\text{Cat}$ in which the weak equivalences are the ...
4
votes
1answer
83 views

Good properties of the $H^0$ functor (from quasi-functors to ordinary functors)

Let $\mathcal A, \mathcal B$ be dg-categories over a field $k$. I denote by $\mathcal{RHom}(\mathcal A,\mathcal B)$ the dg-category (defined up to quasi-equivalence) which gives the internal hom in ...
5
votes
1answer
95 views

Do non-subcanonical Grothendieck topologies always induce a category of fractions?

Suppose that $\mathscr{C}$ is a (possibly higher) category and $J$ is a Grothendieck topology which is not subcanonical. Denote the composite $$\mathscr{C} \hookrightarrow ...
6
votes
1answer
258 views

Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial model category case?

Suppose that $\mathcal{M}$ is a model category which is not combinatorial, does a homotopy limit in $\mathcal{M}$ correspond to a limit in the associated $\left(\infty,1\right)$-category? How about ...
3
votes
1answer
112 views

Exponential objects in a category of abstract automata

I'm working with a more or less standard definition of the category Aut(C) of automata over a category C (where C has finite products) which has tuples $$ A=\langle I_{A},O_{A},S_{A},\sigma_{A}, ...
1
vote
0answers
54 views

When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?

Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on ...
2
votes
0answers
67 views

How do you compute a homotopy colimit in a category of fibrant objects?

This question may be a bit vague, (so if suggested, can I make it community wiki), but I was wondering what techniques there exists for computing homotopy colimits in a category of fibrant objects. A ...
2
votes
0answers
66 views

When does prolongation preserve sheaves?

Suppose that $(C,J)$ and $(D,K)$ are two Grothendieck (possibly $\infty$-)sites and $f:C \to D$ is a functor such that $$f^*:Psh(D) \to Psh(C)$$ sends sheaves to sheaves. Under what conditions will ...
1
vote
0answers
93 views

Retracts of 2-categories

Let $\mathbf{C}$ be a strict $2$-category and let $M = \{(x_\alpha,y_\alpha)\}$ be a collection of object-pairs so that each hom-category $\mathbf{C}(x_\alpha,y_\alpha)$ has an initial element ...
5
votes
2answers
134 views

Mapping complexes in the simplicial localization of the category of manifolds

Let $\mathit{Mfd}$ denote the category of smooth manifolds. Let $W$ denote all projections of the form $$M \times \mathbb{R} \to M.$$ Let $\mathit{Mfd}_W$ denote the Hammock localization of ...
3
votes
0answers
110 views

When do localizations of presentable (infinity) categories commute?

Suppose that $\mathscr{P}$ is a (locally) presentable $\left(\infty,1\right)$ category (which we can assume WLOG is infinity presheaves on some small $\left(\infty,1\right)$ category) , and $R$ and ...
5
votes
0answers
101 views

When does a sheaf of categories represent a homotopy sheaf?

Suppose that $F$ is a sheaf of categories (on a Grothendieck site or even a topological space). By this, I mean a sheaf in the naive 1-categorical sense, so it can equivalently be viewed as a category ...
3
votes
0answers
96 views

On the preservations of certain colimits (by covers) under simplicial localization (of a category of fibrant objects)

Suppose I have a category of fibrant objects $\mathcal{C}$ (with weak equivalences $W$ and fibrations $F$) together with a subcanonical Grothendieck pre-topology $J$ whose covering families consist of ...
5
votes
0answers
80 views

Non-degenerate limits of topoi

Let $\mathcal{E}$ be an elementary topos with natural numbers object $\mathbb{N}$, and let $\mathbb{C}$ be a cofiltered internal category in $\mathcal{E}$. Suppose we have a diagram of shape ...
13
votes
1answer
250 views

Unobstructedness of braided deformations of symmetric monoidal categories in higher category theory

Let $k$ be a field of characteristic zero, and $\mathcal{C}$ be a $k$-linear additive symmetric monoidal category. A braided deformation of $\mathcal{C}$ over a local artin ring $R$ with residue ...
7
votes
1answer
174 views

Localizing 2-categories about a single morphism

This question is a straight-up reference request, but of course I will be grateful for an answer in the event that no references are readily available. Consider a strict $2$-category $\mathbf{C}$ and ...
1
vote
0answers
125 views

Axioms for a symmetric monoidal bicategory

I start reading the axioms for a symmetric monoidal bicategory. The axioms include so many diagrams to be satisfied. I am wondering if people really use these axioms directly to check a given data is ...
5
votes
2answers
303 views

Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question. Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...
8
votes
1answer
559 views

Learning higher differential geometry

I have read parts of the motivation on nlab and all the posts on MO I could find on the subject, and by now there are a few questions on my mind. If they trivial for someone who understands the ...
3
votes
0answers
96 views

Stable $\infty$ categories as a 2-category

Is there a treatment in the literature of stable $\infty$ categories as a 2-category? I.e. with non invertible 2-morphisms. Mostly I am interested in the behavior of the tensor product with respect ...
0
votes
1answer
205 views

What is the delooping of a looping?

What is $\mathbf{B}\Omega A$, where $A$ is a pointed object of an $(\infty,1)$ category with point $*\to A$, $\Omega A$ is the loop space of $A$, and $\mathbf{B}X$ is the delooping of $X$? The ...
8
votes
2answers
334 views

Relation between fully-extended TQFT and a “topless” TQFT

Consider 3-dimensional TQFTs for example. One version of them is the 3-2-1-0 fully extended TQFT. Do we have another version: 2-1-0 extended "TQFT"? If yes, do we have an example of 2-1-0 extended ...
1
vote
2answers
166 views

Defining degeneracies for semi-simplicial sets with inner Kan conditions

Suppose we are given a category enriched over semi-simplicial sets, i.e. for the simplices in this category we have well-defined boundary maps, but no degeneracy maps. Suppose also that in this ...
2
votes
0answers
154 views

Banach space interpolation theory in terms of categories

I have recently learned a bit about higher category theory. And there is a question I would like to ask. Can we enrich banach space interpolation theory by using higher category theory? Is it ...
2
votes
0answers
33 views

Connection on 3-bundle given as triplet of forms

A connection on a bundle is given locally by a Lie algebra-valued 1-form. Gauge transformations act in the usual way on the forms, and form a groupoid. A connection on a 2-bundle is given locally by ...
0
votes
0answers
94 views

Continuity of Kan extension along the Yoneda embedding

Let $\mathcal{C}$ be a category and $h_-: \mathcal{C} \to \mathrm{Set}^{\mathcal{C}^{op}}$ be the Yoneda embedding. Let $\mathcal{A}$ be a cocomplete category and $F: \mathcal{C} \to \mathcal{A}$ a ...
6
votes
2answers
231 views

Weakening simplicial identities

The generators $d_i, s_i$ for morphisms of the simplicial category satisfy simplicial identities: $d_jd_i = d_id_{jāˆ’1}$ for $i < j$ $s_jd_i = d_is_{jāˆ’1}$ for $i < j$ $s_jd_i = id$ for $i = ...
11
votes
0answers
165 views

Is there a quantum group or loop group description of a braided monoidal 2-category giving Khovanov homology?

Recall that there are (at least) two ways to describe the modular tensor category that $3$-dimensional Chern-Simons (with gauge group $G$ and level $k$) assigns to a circle: one involving ...
9
votes
1answer
569 views

I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...
6
votes
1answer
217 views

$\Omega$ and $B$ as adjoints between symmetric monoidal $(\infty,n)$- and $(\infty,n-1)$-categories

Given a symmetric monoidal $(\infty,n)$-category $\mathcal{D}$, one obtains a symmetric monoidal $(\infty,n-1)$-category $\Omega \mathcal{D}$ by taking $\Omega \mathcal{D}= ...
2
votes
1answer
196 views

Follow up: Is continuity preserved when taking comma object?

Here, I asked wether taking lax pullback preserves continuity, but got no precise answer. However, I have found this recent article by Riehl and Verity which proves something very similar, but I ...
2
votes
0answers
50 views

Pseudofunctors of 2-variables and Gray tensor product of bicategories

Let $\mathcal{A}, \mathcal{B}, \mathcal{C}$ be bicategories. We say a 'pseudofunctors of 2-variables' consists of two families of pseufunctors Fix $A\in obj\mathcal{A}$, we have a pseudofunctor ...
17
votes
3answers
894 views

What is Chern-Simons theory expected to assign to a point?

Let $G$ be a compact, connected, (simply connected?) Lie group and let $k \in H^4(BG, \mathbb{Z})$ be a cohomology class. Witten showed, at a physical level of rigor, that this data determines a ...
3
votes
0answers
86 views

Bicategorical limits with parameters

(This question was asked in http://math.stackexchange.com/questions/741334/bicategorical-limits-with-parameters with no answer.) Let $F(-,-)\colon \mathcal{A}\times \mathcal{B}\to \mathcal{C}$ be a ...
2
votes
0answers
143 views

Is continuity of a functor stable under pullback?

Let $p:C\rightarrow D$, $i:F\rightarrow D$ be functors of 2-categories, and we form the lax pullback of $p$ along $i$ $$ \bar{p}:C\times_D^{lax} F\rightarrow F$$ Q1: Is it true that if $p$ ...
3
votes
1answer
245 views

A question on the Grothendieck construction

The usual Grothendieck construction is for pseudofunctors $I^{op}\to Cat$, where $I$ is a 1-category and $Cat$ is the 2-category of 1-categories. The Grothendieck construction produces a category with ...
1
vote
2answers
117 views

DG categories - pre-triangulated versus small limits

A DG category can be considered as an infinity category, say by taking Dold-Kan of the coconnective part of Hom spaces, thus obtaining a simplicial category. My question is, are the following ...
4
votes
2answers
268 views

What's an initial object in a poset-enriched category?

I have a functor $F:C \to D$ between poset-enriched categories, and I'd like to show that the induced map on classifying spaces is a homotopy-equivalence. To this end, I am trying to establish the ...
3
votes
0answers
103 views

Recognition principle for 2-categories (2-groupoids)

Given a 2-category (i.e. bicategory) $C$ there is a unitary geometrical nerve whose 0-simplices are objects of $C$, 1-simplices are 1-arrows of $C$, 2-simplices are 2-commutative triangles (in certain ...
8
votes
1answer
255 views

Adjoining adjoints in a 2-category

For a given 2-category $C$, does there exist a faithful and locally faithful 2-functor $C \to C^*$, such that the image of every 1-morphism of $C$ has a right adjoint in $C^*$? Below are some of my ...
8
votes
0answers
181 views

Are n-truncated quasicategories a model for n-categories?

In Higher Topos Theory, Lurie gives a description of $n$-categories (section 2.3.4) in terms of quasicategories. In other words, he gives a definition (2.3.4.1) of an $\infty$-categorical notion of ...
7
votes
1answer
126 views

coends of stable infinity categories

Let $\mathcal{I}$ be a small ordinary category that I would like to think of as a diagram category. (If it helps: In my application $\mathcal{I}$ has only one object, i.e. comes from a monoid). Denote ...
4
votes
0answers
118 views

Which endomorphism algebras are not Morita-trivial?

Let $\mathcal C$ be a symmetric monoidal category ā€” for example, $\mathcal C$ might be the category of $R$-modules for a commutative ring $R$. At a minimum, I request further that: $\mathcal C$ is ...
2
votes
0answers
111 views

Homotopy limits of weak diagrams

This question is somehow related to my question at http://math.stackexchange.com/questions/683915/derived-pseudo-functor and to the question here: A homotopy commutative diagram that cannot be ...
1
vote
1answer
497 views

On the foundations for large categories

There are some basic discussions on the motivations of large categories and small categories [here] (On the large cardinals foundations of categories) and [here] (Large cardinal axioms and ...
0
votes
1answer
158 views

Homotopy limit of a cosimplicial category

Consider the usual model structure on Cat (category of small categories). Which are the fibrations of the injective model structure on the category of cosimplicial categories $Fun( \Delta ,Cat )$? ...
1
vote
0answers
90 views

A definition of a version of n-category with linear structure and tensor product

Let us assume that the $m$-categories with $0\leq m <n$ are already defined. 1) A $n$-category has a set of $p$-morphisms, labeled by $i^{[p]}$, for $0\leq p <n$, and each set of the ...
2
votes
1answer
170 views

n-limits and the Descent Category

Probably, this question could be at http://math.stackexchange.com/, but, for some reason, I can't access that site right now. So, I apologize in advance. At this article ...
10
votes
0answers
547 views

Motivic derived algebraic geometry

In algebraic geometry one studies spaces locally modelled on commutative algebras, i.e. commutative algebra objects in the symmetric monoidal category Ab of abelian groups. Now supposedly in the ...
2
votes
1answer
351 views

A simple definition of n-category [closed]

Maybe there is no simple definition of $n$-category understandable for a physicist. Then I would like to know what are the trivial $0$-category, trivial $1$-category, trivial $2$-category, etc. How ...