# Tagged Questions

**1**

vote

**1**answer

91 views

### Is the extension of a quasi-functor again a quasi-functor?

Let $\mathcal A, \mathcal A', \mathcal B$ be dg-categories over a field $k$ (this assumption allows me not to derive the tensor product, I don't think it is really essential). Let $F : \mathcal A \to ...

**2**

votes

**0**answers

74 views

### Orthogonal FS become weak FS if you switch classes

I've always been surprised by the fact that $(Epi, Mono)$ is, when possible, a strong factorization system (unique solution to lifting problems, existence of unique factorization), whereas $(Mono, ...

**8**

votes

**0**answers

100 views

### What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the
Segal condition: For each $j$, the map
$$ X_j \to ...

**2**

votes

**0**answers

116 views

### The Karoubi model structure on Cat

I am looking for any kind of informations about the Karoubi model structure on $\bf Cat$. I discovered the presence of this structure a few months ago on the Joyal Lab and now I would like to use it ...

**2**

votes

**2**answers

184 views

### Is there a general notion of a subobject generated by a subset in any concrete category?

Let $A$ be an object of a concrete category $C$ with a forgetful functor $F\rightarrow Set$ and let $S \subseteq F(A)$. Is there a general construction that gives us a subobject $\left<S\right>$ ...

**2**

votes

**0**answers

119 views

### Do all full exceptional sequences of a triangulated category have the same length?

Let $\mathcal{D}$ be a $k$-linear triangulated category and $\langle E_n,E_{n-1},\ldots, E_0\rangle$ be a sequence of objects of $\mathcal{D}$. We call $\langle E_n,E_{n-1},\ldots, E_0\rangle$ an ...

**8**

votes

**1**answer

369 views

### Deligne's exterior power

In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism
$$p : A^{\otimes n} \to A^{\otimes n}, ...

**7**

votes

**1**answer

509 views

### What are $( \infty , n)$-categories useful for?

I know that mathematicians are trying to construct adequate models for $( \infty, n)$-categories. Although, it seems to be an interesting task, I would like to know some explicity examples where this ...

**5**

votes

**0**answers

158 views

### Tannakian formalism for topological Hopf algebras

Tannaka-Krein duality allows, under the appropriate assumptions, to reconstruct a Hopf algebra from its category of modules. This method was found to be powerful for instance in the work of ...

**8**

votes

**0**answers

152 views

### Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category.
For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...

**3**

votes

**1**answer

88 views

### Existence of ind-right adjoint functor for semi-simple category?

I'm just reading a lemma in Yves ANDRE's seminar on finite dimensional motives.
Soit $Σ:Rep_F G→T$ un ⊗-foncteur vers une categorie F-tensorielle T ……
where $G$ is a pro-reductive group scheme, ...

**0**

votes

**1**answer

156 views

### Can a smooth function on a cross be extended to the whole plane?

Consider a real function on the union of two lines R×0 and 0×R in R² whose restrictions to R×0 and 0×R are smooth functions R→R.
Is it possible to extend this function to a smooth function on R²?
...

**4**

votes

**0**answers

253 views

### Commutation of simplicial homotopy colimits and homotopy products in spaces

Edit: The claim below is wrong, as explained in the comments,
because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...

**1**

vote

**1**answer

333 views

### Are these two “FUNCTORS” adjoint?

I am considering the following correspondence:
Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...

**11**

votes

**2**answers

654 views

### If the direct image of f preserves coherent sheaves on noetherian schemes, how to show f is proper?

The other direction is well known.
I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove. I am also wondering ...

**3**

votes

**0**answers

141 views

### Categorical characterization of closed imbeddings

Let $f\colon X\to Y$ be a morphism of schemes.
Let $F_X$ and $F_Y$ be the contravariant functors from the category $Sch$ of schemes to the category of sets defined via the Yoneda construction, i.e. ...

**3**

votes

**1**answer

343 views

### Category of modules over commutative monoid in symmetric monoidal category

Let $\left(\cal{C},\otimes ,I\right)$ be a symmetric monoidal category (not necessarily closed) and $A$ a commutative monoid in $\cal{C}$. In his DAG III (page 95), Lurie writes:
In many cases, ...

**4**

votes

**0**answers

67 views

### Are regular epi of locale stably epic?

It is well know that the category of locale is not a regular category, that is the pullback of a regular epimorphism is not always a regular epimorphism: for example, the classical counterexample ...

**13**

votes

**2**answers

438 views

### Infinite dimensional 2-Hilbert spaces

Is there a definition of an infinite dimensional 2-Hilbert space?
Finite dimensional 2-Hilbert spaces have been discussed by Baez in
http://arxiv.org/abs/q-alg/9609018
In the more recent paper by ...

**3**

votes

**1**answer

68 views

### Pivotal functors of that are substantially different from finite group homomorphisms

Fusion categories can be seen as generalisations of the representation category of finite groups. I'm interested in spherical fusion categories. I'm trying to find "interesting" functors from a ...

**2**

votes

**0**answers

67 views

### Why does $\pi_t$ preserve pullbacks in this special case?

Let $X$ be a fibrant pointed cosimplicial space.
Following Bousfield-Kan, let $\text{lim}^{\partial \Delta_{n+1}} X = M^{n}X$ be the nth matching object of $X$. Onecan then show that there is a ...

**4**

votes

**2**answers

341 views

### Aspheric functors and Grothendieck fibrations

Following Grothendieck, let us say that a category is aspheric if its nerve is weakly contractible and a functor $u : \mathcal{A} \to \mathcal{B}$ is aspheric if for every object $b$ in $\mathcal{B}$, ...

**3**

votes

**0**answers

135 views

### Internal categories in an endofunctor category

Here we see the definition of an internal category in a monoidal category. We also know that endofunctor categories support a monoidal product which is actually functor composition. It is the case ...

**10**

votes

**1**answer

724 views

### Reference request: Book of topology from “Topos” point of view

Question: Is there any book of topology in the modern language of topos theory?
Motivation:
In "Sheaves in Geometry and Logic" Mac Lane and Moerdijk say: "For Grothendieck, topology became the ...

**1**

vote

**3**answers

403 views

### Is there a general notion of semigroup action?

The analogous result to Cayley’s theorem or Yoneda lemma in semigroup theory represents semigroups as semigroups of functions from a set to itself. This suggests that a semigroup action consists of a ...

**2**

votes

**2**answers

383 views

### Categories with binary relations as objects

For the category of functions, pairs of functions making commutative diagrams are the canonical morphisms $\alpha:f\rightarrow g$. For binary relations there is an alternative, to consider the ...

**5**

votes

**0**answers

149 views

### Compact objects and ind-objects in triangulated categories

question : let $A$ be triangulated category compactly generated by subcategory $A^c$ of compact objects. Consider category of ind-objects $Ind(A^c)$. Is there relation between $A$ and $Ind(A^c)$? ...

**5**

votes

**2**answers

255 views

### What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum as monoidal product exist?

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the ...

**2**

votes

**1**answer

149 views

### what is the stabilization of pointed sets?

Given a(n $\infty$-)category, there is a process called "stabilitazion" which spits out a stable $\infty$-category (as one can read about in either Higher Algebra or the nlab).
The famous example is ...

**4**

votes

**1**answer

230 views

### Higher Degree Data in a Cosimplicial Quasicategory and Delooping

If there is a short answer to this question and someone can write it here that'd be wonderful, but if it's longer, I'm also perfectly happy with a reference.
My question is regarding accessing data ...

**25**

votes

**9**answers

1k views

### Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful?
I have a vague idea of the possibility of ...

**8**

votes

**3**answers

593 views

### In the category of sets epimorphisms are surjective - Constructive Proof?

The statement that surjective maps are epimorphisms in the category of sets can be shown in a constructive way.
What about the inverse?
Is it possible to show that every epimorphism in the category ...

**8**

votes

**1**answer

428 views

### Notion of infinity in categories

Please excuse me if the question is too vague or uninteresting.
Let $\mathcal{C}$ be a category and $A$ an object in $\mathcal{C}$. Motivated by the equivalence of Dedekind-finiteness and finiteness ...

**2**

votes

**0**answers

104 views

### Pseudomodules, “general coherence theorem”

A pseudomonoid is defined within a monoidal bicategory. It is like a monoid in a monoidal category except that the usual axioms hold up to coherent invertible 2-cells. Pseudomonoid is like a monoidal ...

**0**

votes

**2**answers

102 views

### a dcpo seen as a category: when does a dcpo map induce a functor with an adjoint?

Take two posets $A, B$ (partially ordered sets). Now consider these posets to be categories $Cat(A), Cat(B)$ respectively. Consider a map from $A$ to $B$, $f: A \rightarrow B$. This can be seen as ...

**3**

votes

**2**answers

172 views

### Directed subposet of a poset containing the minimal elements

The following appears naturally in a certain context:
Let $P$ be a graded partially ordered set. Let $M$ be the subset of minimal elements of $P$. Define subsets $E_i$ inductively as follows: First, ...

**8**

votes

**1**answer

498 views

### Reference request: Book of Linear algebra from categorical point of view

Is there any book of Linear algebra in the modern language of Category theory?
I refer to the (systematic, formalist) study of the category whose objects are vector spaces and whose morphisms are ...

**7**

votes

**1**answer

570 views

### Learning roadmap to TQFT from a mathematics perspective

I had asked a question on math.stackexchange but did not receive any answers. I hope that this question is appropriate for this website as it is about an advanced subject. Hence I am posting it below.
...

**0**

votes

**0**answers

72 views

### Sharp objects and fixed points

Given an adjunction $F\colon \mathcal C \leftrightarrows \mathcal D\colon G$ I would like to call "sharp" a pair of objects $(C,D)$ if the bijection
$$
\hom_{\cal D}(FC,D) \cong \hom_{\cal C}(C, GD)
...

**2**

votes

**1**answer

141 views

### Algebraic objects and lifts of their represented functors

I've seen the following theorem around in various forms:
To give an object $A \in \mathcal{C}$ the structure of a $\Omega$-algebra object in $\mathcal{C}$ is equivalent to giving a lift of the ...

**1**

vote

**1**answer

116 views

### Are the pullback functors of adjoint functors also adjoint?

Given adjoint functors $F: A \to B$, $G: B \to A$, if you then take their pullback functors $F^* : Set^B \to Set^A$ and $G^* : Set^A \to Set^B$ given by pre-composition, are these two also adjoint ...

**3**

votes

**0**answers

102 views

### Lifting commutative diagrams of functors from the homotopy level to the “higher” level

Let $\mathcal A$ and $\mathcal B$ be differential graded categories over a field. Let $F, G, K : \mathcal A \to \mathcal B$ be quasi-functors (see here for definitions). Assume you have morphisms of ...

**3**

votes

**2**answers

372 views

### Zigzags and contractibility of categories

Let $\mathbf{C}$ be a small category and $\mathbf{C}'$ its hammock localization in the sense of Dwyer and Kan. I am looking for a proof (or counterexample) of the following assertion:
If there is ...

**0**

votes

**0**answers

73 views

### Linkage between homotopy equivalence and identification of algorithms

I vaguely recall that someone says there is linkage between homotopy equivalence and identification of algorithms which may be isomorphic or morphism or something like that,the algorithm may be ...

**4**

votes

**2**answers

251 views

### What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth Infinitesimal Analysis?

In certain intuitionistic frameworks the extreme value theorem cannot be proved. Depending on the exact framework, counterexamples can be constructed as well; see for example pp. 294-295 in
...

**3**

votes

**0**answers

125 views

### When do limits and colimits of infinity-categories commute?

This is a question for someone who read (or wrote) enough of Lurie's HTT to know a reference. Suppose $D,E$ are small "diagram" $(\infty,1)$-categories, and $\mathcal{C}$ is a stable infinity-category ...

**6**

votes

**0**answers

175 views

### Derived Functors, Projection Formula and Base Change in the Derived $\infty$-Category

Let $X$ be a smooth stack and $\mathcal O_X$ the ring of smooth functions on $X$, i.e. for any smooth $M \to X$, $\mathcal O_X(M \to X) = C^\infty(M)$.
In HigherAlgebra, the derived category ...

**6**

votes

**0**answers

166 views

### Can we “complete” model categories to compute derived functors in the usual way?

Suppose we have a functor between two model categories $F\colon \mathcal{C}\to \mathcal{D}$. Suppose we don't know that it is a part of a Quillen pair. Nevertheless, it can still happen that the ...

**1**

vote

**0**answers

107 views

### right adjoint functor for closed immersion of topoi

Let $i\colon (X,A)\rightarrow (Y,B)$ be a closed immersion of ringed topoi. Does functor $i_*\colon Mod(A)\rightarrow Mod(B)$ have a right adjoint?

**1**

vote

**1**answer

286 views

### Category which has no non-trivial adjoint functors

Does there exist a category C which such that there is no functor $F:C \rightarrow D$ with $D\not\cong C$ which has a left (or right) adjoint?