Tagged Questions

24 views

111 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 ...
81 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 ...
135 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$ ...
205 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 ...
251 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 ...
95 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 ...
225 views

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 ...
117 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 ...
108 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 ...
104 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 ...
483 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 ...
151 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 )$? ...
160 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 ...
190 views

What is this name of this 2-category without very much structure?

I was wondering if there is a name for this 2-category which is like the 2-category of natural transformations, but does not actually require the 1-morphisms to be functors or the 2-morphisms to be ...
364 views

Small objects in categories

I would like to pick out small objects from a category. I would like to find such a notion which Dream 1. Picks out the schemes of finite type over $k$ from the category of $k$-schemes. Or at least ...
158 views

A potential definition of weak $\omega$-categories

This question was inspired by the Homotopy Type Theory Book. Might we define a weak $\omega$-category as described below? Is any similar approach already considered in the literature? Let ...
263 views

Are $(\infty,1)$-categories $A_\infty$ categories?

Let $X$ be a set. One can define a non-symmetric colored version of the non-unital $A_\infty$ operad as follows. The set of colors is the set of ordered pairs in $X$. Let ...
297 views

2 and 3 pullbacks

If $F:A\to C$ and $G:B\to C$ are morphisms in $Cat$, then their pseudo-pullback (I hope it's the right notion) can be calculated as the strict limit $A\times_C C^I \times_C B$, where $I$ is the ...
228 views

Higher dimensional pasting diagram of cubes

A pasting diagram is the analogue of composition of arrows in higher categories. The nlab page gives an example of a two dimensional diagram and how to compute it as a composite of two morphisms. I am ...
157 views

What is the suitable setting for supercoherence with value in a bicategory?

It was J.F. Jardine established the so called supercoherence theory in Journal of Pure and Applied Algebra Volume 75, Issue 2, 18 October 1991, Pages 103–194. The result can be roughly stated as ...
194 views

Are topoi and etale geometric morphisms locally small?

This question is related to this one: Local smallness and (higher) topoi which has not yet been answered. The $2$-category of topoi and geometric morphisms is not locally small. (As I mentioned in ...
353 views

Do Homotopy Fully Faithful Functors Push-out?

A (homotopy) fully faithful functor is a map of $\infty$-categories which induces weak equivalences on mapping spaces. Are homotopy fully faithful functors preserved under (homotopy) pushout? More ...
329 views

Local smallness and (higher) topoi

The $2$-category of topoi and geometric morphisms is not locally small. For example, if $A$ is the classifying topos for abelian groups, the category of geometric morphisms from $Set$ to $A$ is ...
554 views

How do you define (infinity,1) categories in Homotopy Type Theory?

One of the major motivations of Homotopy Type Theory is that it naturally builds in higher coherences from the beginning. One important setting where higher coherence requirements get annoying is ...
153 views

Create 2-category from a cartesian category

I have a way of constructing (something like) a 2-category from a category with products $\mathcal{C}$. My question: Is this a correct construction, and if so, does it have a name? Define ...
181 views

The Rado graph appears to have a nice universality property (it contains all finite and all countably infinite graphs as induced subgraphs) and homogeinety property (any isomorphism between ...
484 views

What interesting homotopy invariants can I write down using the universal property of homotopy types?

I've recently been led to believe some version of the following statement: Weak homotopy types, or equivalently $\infty$-groupoids (let me not commit myself to a particular model of these), are ...
129 views

About a Double-pseudo-category generalization of the module bicategory construction

To a category with finite limits $\mathscr{C}$, it is associated the bicategory of its spans $Span(\mathscr{C})$. Furthermore the bicategory of (bi)modules (and monoids) on $Span(\mathscr{C})$ is ...
486 views

Lower Algebra: Modules over the monoidal category of abelian groups

Proposition 6.3.2.18 of Higher Algebra identifies $Mod_{Sp}(Pr^L)$, the symmetric monoidal category of right modules over the monoidal category $Sp$ of spectra in $Pr^L$ the category of presentable ...
260 views

The state of the art in the rectification of homotopy-coherent structures

My question concerns rectification theorems for homotopy-coherent structures. As the meaning of this may be unclear, let me list a few examples of what I am thinking of: Cordier and Porter proved a ...
179 views

For an $(\infty,1)$-topos, is the object functor from groupoid objects to the topos a fibration, cofibration?

This question is kind of suggested by the question Is the category of group objects in an $(\infty,1)$-topos reflective as a subcategory of the groupoid objects? Question: If $\mathcal C$ in an ...
226 views

Is there a Wall finiteness obstruction in other settings?

Let $\mathcal{S}$ be the $(\infty, 1)$-category of spaces. Then the compact objects of $\mathcal{S}$ are precisely the retracts of finite CW complexes. These are not the same as the finite CW ...
468 views

categorical characterization of large cardinals

Question 1. Is there a categorical representation of Kunen's inconsistency result? Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and ...
234 views

In the topos-theoretic interpretation of Physics by Isham & Doering what role does intuitionistic logic play? [closed]

I've asked this question on Physics.SE but was advised to ask it here. Isham & Doering have written a series of papers exploring how to ground physics in topoi. Now the internal logic of topoi is ...
222 views

Categories of sheaves and Kan Extensions

This is quite a broad question regarding constructions of categories of sheaves in geometry. Let $\textbf{Sch}$ denote the category of schemes. Let $\textbf{SchAff}$ denote the full subcategory of ...
261 views

What kind of category is a cyclically ordered set?

Background: A preorder is a binary relation $\leq$ which is reflexive and transitive. We can write the transitive property as ${\leq}(a,b)\wedge{\leq}(b,c)\to{\leq}(a,c)$. There are additional axioms ...
165 views

(∞,n)-category of triangulated cobordisms

What is an accepted definition of a (∞,n)-category of triangulated cobordisms? Is there one that has a forgetful functor to (Rezk - Hopkins -) Lurie's smooth cobordisms? Does it shed light on how ...
Recall that two $k$-algebras $A, B$ are Morita equivalent iff their categories of left modules are equivalent. However, this relation turns out to be rather fine and one introduces a coarser ...