**2**

votes

**2**answers

97 views

### Reedy model structure on sSet

According to this question, there is a model structure on $\mathrm{Set}$ in which the cofibrations are the monomorphisms, the fibrations are maps which are either epimorphisms or have empty domain, ...

**1**

vote

**0**answers

44 views

### Pseudopullback of dimension three

What is the name of the appropriate analogue of the pseudopullback for dimension three?
That is to say, a pseudonatural equivalence $fg\simeq hj $ which is universal in the obvious sense...
Thank ...

**7**

votes

**1**answer

301 views

### Étale morphisms in SDG

On page 70 here, Kock defines a formally étale morphism $f:M\rightarrow N$ as one for which the following square is a pullback for each $d:\mathbf 1\rightarrow D$
$$\require{AMScd} \begin{CD} M^D ...

**3**

votes

**1**answer

93 views

### Self-enrichment of reflective subcategories of self-enriched categories

I'll go straight to the point of my question:
Say $\mathscr{A}$ is a reflexive subcategory of $\mathscr{B}$, meaning the inclusion functor $i: \mathscr{A} \to \mathscr{B}$ is fully faithful and ...

**2**

votes

**1**answer

57 views

### Why does vertical multiplication in 2-groups not follow the same order as horizontal one when constructed from crossed modules?

Consider a 2-group (seen as a 2-category with only one object $\star$) constructed from a crossed module $(G,H,t,\rhd)$ ($\circ$ will denote 1-morphisms composition, $\circ_{h}$ 2-morphisms horizontal ...

**8**

votes

**0**answers

90 views

### Stability of adjunctions of infinity-categories by base change

Let $O \to O'$ be a functor between locally presentable symmetric monoidal $(\infty,1)$-categories (assume that the tensor product commutes in each argument with colimits, if necessary). Suppose that ...

**3**

votes

**1**answer

145 views

### Is a left-exact limit-preserving functor $Ab \to Ab$ necessarily representable?

Let $Ab$ be the category of abelian groups, and let $F: Ab \to Ab$ be a covariant functor which is left-exact and limit-preserving. Is $F$ necessarily naturally equivalent to a functor of the form ...

**5**

votes

**0**answers

163 views

### What makes Reedy model categories useful?

I have been reading up a bit on the Reedy model structure on the category of simplicial objects in a model category $\mathcal{C}$ in Goerss-Jardine. One thing I find a bit unclear is what the Reedy ...

**1**

vote

**1**answer

122 views

### pullback square in Goerss-Jardine

In proving the the existence of the Reedy model structure on the category of simplicial objects in a model category $\mathcal{C}$, Goerss-Jardine prove there is a pullback square induced by a map of ...

**3**

votes

**0**answers

193 views

### N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...

**4**

votes

**0**answers

45 views

### Temporal semantics for string diagrams

Suppose I have a string diagram $D$ which involves a set of strings $S$ and atomic processes $A$. Formally, we should think of this as a canonically chosen map in the free symmetric monoidal category ...

**8**

votes

**1**answer

248 views

### Can the groupoid completion of a topological category be recovered from its classifying space?

Let $C$ be a category. The groupoid completion of $C$ is the free groupoid on $C$, i.e. the category $C[C^{-1}]$ obtained by localizing at everything. Recall that the classifying space $\mathbf{B}C$ ...

**5**

votes

**1**answer

169 views

### Twisted Day convolution

Has anyone studied a version of Day convolution for an enriched presheaf category $V^{A^{\mathrm{op}}}$ where the monoidal structure of $V$ is "twisted" on one side by an action of $A$? I'm thinking ...

**2**

votes

**0**answers

49 views

### Factorization systems on tensor product of presentable categories

This question is motivated by the following particular problem.
I have two presentable categories $\cal A,B$ with orthogonal factorization systems $({\cal E}, {\cal M})$ (on A) and $({\cal U},{\cal ...

**5**

votes

**4**answers

192 views

### On the tensor product of presentable categories

I am trying to understand how the tensor product of presentable categories works: let $\otimes\colon {\cal A}\times {\cal B}\to {\cal A}\otimes{\cal B}$ the universal bilinear functor corresponding to ...

**2**

votes

**0**answers

42 views

### Branching behavior in string diagrams/monoidal categories?

I am currently working through Peter Selinger's paper "Towards a Quantum Programming Language", and trying to connect it with what I already know about monoidal categories and string diagrams.
...

**2**

votes

**0**answers

149 views

### Toward Axiomatic sheaf theory? (References)

It is known that one of Lawvere and Tierney's goals was to provide an axiomatic approach to sheaves. Their notion of elementary topos constituted a preliminary step in that respect.
Question: Has ...

**2**

votes

**0**answers

133 views

### Is the class of Heyting algebras originating from directed graphs a variety?

The category RefGph of reflexive directed graphs
is the functor category $\hat{∆}_1=\mbox{Fun}(∆^◦_1,$Set), where $∆_1$ is
the simplex category truncated at level 1.
Hence the poset Sub(X) of ...

**15**

votes

**1**answer

169 views

### Descent of Higher categorical structures along geometric morphisms

Let $f: \mathcal{E} \rightarrow \mathcal{T}$ be a geometric morphism between two (Grothendieck) toposes (or maybe more generally a bounded geometric morphism between elementary toposes).
It is well ...

**2**

votes

**1**answer

133 views

### Product and coproduct for bipartite graphs

Consider the category $BiGraph$ of bipartite graphs (vertices are named "places" and "transitions" like in Petri nets) and continous maps. A subgraph is named open iff it is place-bordered, and a map ...

**1**

vote

**1**answer

91 views

### When modular tensor categories are equivalent?

I asked this question at math stack exchange math stack exchange but I haven't got any answer yet there.
I would like to know when we say that two modular tensor categories are equivalent.
Is it ...

**2**

votes

**1**answer

77 views

### Direct limit closure of Serre subcategories

Let $C$ be a Grothendieck category and $T$ a Serre subcategory of $C$. Let $\tilde{T}$ be the full subcategory of $C$ consisting of all direct limits of objects in $T$. Is $\tilde{T}$ a Serre ...

**2**

votes

**0**answers

67 views

### Deligne tensor product of semisimple tensor categories

Let $T_1, T_2$ be two semisimple tensor categories over a field $k$ (i.e. symmetric rigid monoidal abelian $k$-linear). Then is the Deligne product, $T_1\otimes T_2$ also a $k$-tensor category?
...

**2**

votes

**1**answer

240 views

### Special objects in a category - terminology

For an object $A$ in a category $\mathfrak{C}$, consider the following property.
($*$) For every object $B$ in $\mathfrak{C}$, the set of morphisms $\text{Hom}(B,A)$ is either empty or consists ...

**8**

votes

**0**answers

126 views

### Model category of cofibrant topological spaces

By browsing the list of open problems in Mark Hovey's book "Model categories", I came across the following one (Problem 8.3): find a model structure on topological spaces, with the same weak ...

**7**

votes

**0**answers

112 views

### Modular Tensor Categories: Reasoning behind the axioms

(Sorry for the length of the question, I'm trying to communicate what is bothering me as thoroughly as possible)
In the construction of modular tensor categories (MTC) from ground zero, we put ...

**23**

votes

**1**answer

406 views

### Is Lemma D4.5.3 in the Elephant correct? (“In a topos, weakly projective implies internally projective.”)

Lemma D4.5.3 of Johnstone’s Sketches of an Elephant states:
Lemma. For an object $A$
of a topos $\newcommand{\E}{\mathcal{E}}\E$, the following are equivalent:
$A$ is internally ...

**1**

vote

**0**answers

168 views

### Semidirect product of semidirect products

For algebraic objects, say for groups $ N,K$ and algebra $A$, if we have the semidirect product of a semidirect product,
$(A \rtimes_{\gamma} N ) \rtimes_{\theta} K$, are there conditions that would ...

**7**

votes

**1**answer

193 views

### Monomorphisms in operad algebras

Setup: Let $\mathcal{O}$ be an operad in the category of sets, and let $\mathcal{O}\text{-Alg}$ denote the category of algebras on it (i.e., operad functors $\mathcal{O}\to\mathbf{Set}$. This category ...

**6**

votes

**1**answer

174 views

### Bousfield Localization and Quillen Equivalence

The notion of a (left, say) Bousfield localization of a model category doesn't seem to be invariant under Quillen equivalence. There are a lot of things that could go wrong. But I don't know any ...

**4**

votes

**1**answer

80 views

### Filtered Colimit of associative $k$-algebras that are domains

Let $C$ be a filtered subcategory of the category of commutative algebras over a fixed field $k$ whose objects are all integral domains.
Then the colimit of the obvious diagram is an integral domain.
...

**9**

votes

**1**answer

221 views

### A general version of the 5 lemma

Suppose you have an abelian category $\bf A$, and $A\to B\to C$, $A'\to B'\to C'$ two exact sequences, in a diagram
$$
\begin{array}{cccccccc}
0 &\to & A &\to& B &\to& C ...

**3**

votes

**0**answers

79 views

### What do you call the coherence cells in a lax morphism?

The original question a friend asked me is what to call the coherence cells in a lax monoidal functor. After looking around, I was surprised to realize that when it comes to monoidal functors, ...

**4**

votes

**1**answer

150 views

### When does the projective model structure on functors exist?

What this boils down to is: if $\mathcal{K}$ is cofibrantly-generated model category which permits the small object argument and $\mathcal{D}$ is a small category, then when does ...

**5**

votes

**1**answer

119 views

### Uniqueness of $\infty$-adjoints

Adjoints in a 2-category are essentially unique, in the following strong sense. If $\mathbf{2}$ denotes the "walking arrow" category $(\cdot \to \cdot)$, then there is a 2-category $\mathrm{Adj}_1$ ...

**5**

votes

**1**answer

167 views

### Switching left and right adjoints in recollement situations

In Fascieaux pervers, Beilinson, Bernstein and Deligne define a recollement situation as a triple of triangulated categories $\mathcal{D}_U,\mathcal{D}_F$ and $\mathcal{D}$, together with functors
$$
...

**5**

votes

**0**answers

181 views

### How can a pro-object of the category of finite etale schemes fail to be a profinite-etale scheme?

Let $S$ be a connected scheme. Let $FEt_S$ be the Galois category of schemes $X$ finite etale over $S$. Let $I$ be a directed set, and $\{C_i\}_{i\in I}$ a projective system of objects in $FEt_S$. I'm ...

**6**

votes

**0**answers

96 views

### t-structures on the tensor product of stable $\infty$-categories, II

I fork from this thread, a bunch of questions stemmed from a private conversation about that thread. Speculating a bit on the definition of the tensor operation between t-structures generated some ...

**9**

votes

**0**answers

100 views

### t-structures on the tensor product of stable $\infty$-categories

It is a matter of checking definitions that the tensor product of presentable $\infty$-categories restrict to a tensor product between stable presentable $\infty$-categories; I was wondering if there ...

**3**

votes

**2**answers

136 views

### When are subcategories of continuous functors reflective?

Let $J$ be a collection of small categories (to be thought of as diagrams in a category). Let $C$ be a small category with all $J$-limits (i.e. for every $J_0 \in J$ and every functor ...

**16**

votes

**2**answers

787 views

### Does the functor Sch to Top have a right adjoint?

Let $S$ be a scheme, let $T$ be an $S$-scheme, and let $M$ be a set. Let $M_{S}$ be the disjoint union of $M$ copies of $S$, considered as an $S$-scheme. (Notation from [SGA 3, Exp. I, 1.8].) Then ...

**5**

votes

**1**answer

168 views

### Heyting algebras originating from directed graphs

The category RefGph of reflexive directed graphs is the functor
category $\hat{∆}_1=\mbox{Fun}(∆^◦_1,$Set), where $∆_1$ is
the simplex category truncated at level 1.
Hence the poset Sub(X) of ...

**2**

votes

**1**answer

311 views

### A morphism-revealing category? [closed]

The constructs can be considered as subcategories of Set but when considered as subcategories of the category SubSet, of pairs of sets with pairs $(X,S)$, $S\subseteq X$, as objects and functions ...

**4**

votes

**1**answer

242 views

### Which models of set theory are locally presentable?

For the purposes of this question, let me fix a "true" universe of sets, which I will call the "true sets". Recall that a category is locally presentable if it is cocomplete and accessible. Both ...

**3**

votes

**1**answer

138 views

### Seeking more information regarding the “rigoidal category” of $\mathbb{N}$-graded sets

Definitions.
By an $\mathbb{N}$-graded set, I mean a set $X$ together with a function $|\Box|_X:\mathbb{N} \leftarrow X,$ called the grading. These will simply be called graded sets hereafter.
If ...

**3**

votes

**2**answers

185 views

### Definition of the differential of the Cone of a morphism of complexes [closed]

Let $(F^\bullet,d_F)$ and $(G^\bullet,d_G)$ be two complexes in an abelian category $\mathbf{A}$.
The complex cone $Cone(\varphi)^\bullet$ of a morphism of complexes $\varphi:F^\bullet \to G^\bullet$ ...

**6**

votes

**1**answer

275 views

### Hahn-Banach theorem for arbitrary locally compact fields?

Does anyone know if the Hahn-Banach theorem is true for every locally
compact field? Specifically, let $F$ be a finite algebraic extension of
either $Q_p$, the $p$-adic completion of $Q$, or of
...

**2**

votes

**1**answer

135 views

### Opposite of an E2-algebra

Suppose $C$ is the monoidal $\infty$-category of modules over an $\mathcal{E}_2$-ring spectrum $A$. Let $C' = C$ as a category, but with opposite monoidal structure to $C$. Is $C'$ the category of ...

**2**

votes

**0**answers

195 views

### About the limitation by size

This could be a big post, so I'll try to summarize my thoughts and divide them into several questions.
When working in category theory, I used to choose the following definition. A category $C$ is ...

**7**

votes

**1**answer

93 views

### When do powers and ends in functor categories act pointwise?

$\newcommand{\C}{\mathcal C}\newcommand{\I}{\mathcal I}\newcommand{\D}{\mathcal D}\newcommand{\J}{\mathcal J}$Let $(\C, \otimes, I, \multimap)$ be a complete closed monoidal category and $\I$ a small ...