**2**

votes

**1**answer

195 views

### Given a map of classifying spaces, can the target be described as a groupoid quotient of the source mod some action of some (co)kernel?

Let $H \to G$ be a homomorphism of affine algebraic groups (over characteristic $0$, if it matters). The case I care most about is when $H \to G$ is an inclusion. There is a corresponding map $f: ...

**5**

votes

**1**answer

199 views

### Difference between coherent nerve of simplical model category and simplicial category

Suppose I have a simplicial model category $M$. Then I can take the homotopy coherent nerve of $M$ to obtain a quasicategory. This, however, only depends on the fact that $M$ is a category enriched in ...

**7**

votes

**1**answer

324 views

### Constructing unnatural transformations

In a nutshell, the question is: is it true that any explicit (not involving axiom of choice) pointwise transformation between sufficiently complicated functors is natural almost everywhere?
Let $C$ ...

**8**

votes

**1**answer

275 views

### When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?

In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian ...

**4**

votes

**1**answer

327 views

### What are the automorphisms of $BG$?

Setup: Let's work in the category of schemes over $\mathbb C$. Let $G$ be a finite group. Let $BG=[pt/G]$ be the classifying stack of principal $G$ bundles. This is a fiberd category over the big ...

**13**

votes

**1**answer

582 views

### What's the cardinality of a higher category?

The cardinality of a set is just the number of elements.
To make sense of the cardinality of a category, one has to account for the morphisms. The usual definition is the sum over the isomorphism ...

**1**

vote

**0**answers

102 views

### How does one compute a colimit of monoidal categories?

The question is in the title. I'm also happy to get answers about (your favorite adjective) monoidal categories.
Here's a guess:
In order to compute a colimit of monoids we can push everything down ...

**2**

votes

**0**answers

228 views

### category theoretic approach to Sylow theorems and finite group theory?

Is there a category theoretic approach to Sylow theorems?
More generally, is there an exposition of finite group theory in terms of category theory which would include Sylow theorems and little facts ...

**1**

vote

**1**answer

61 views

### Quotients of termwise split injections, for additive categories

In the stack exchange notes found in Section 10 of this file, it is claimed that the category $K(\mathcal{A})$ of complexes up to homotopy is a triangulated category, if $\mathcal{A}$ is additive. In ...

**3**

votes

**0**answers

138 views

### Finitely presented categories and limits

Suppose I have a finite graph $G$, and I then take the free category $\mathcal{C}(G)$ over such a finite graph. Now, I would like to "force" some objects to be limits. Is there a way to do that ...

**1**

vote

**1**answer

103 views

### Projective family of probability spaces

This is a crosspost of this question from MSE.
I'm confused about the definition of a projective family of probability spaces $(S_t,\mathscr S _t,\mu_t,f_{ts})_{s,t\in T}$. The conditions
...

**4**

votes

**0**answers

255 views

### A construction with homotopy colimits and homotopy pullbacks for descent

EDIT: Following the lines of some suggestions in the comments below, I try to add something more to explain the problem better. A map $\text{hocolim}Y\rightarrow\bar{Y}$ in $\text{Ho}(\mathbf{M})$ is ...

**2**

votes

**0**answers

76 views

### What should one “do” to “strictify” a triangle of transformations coming from a lax commutative triangle of functors?

I would like to apologize for this rather stupid abstract nonsense question.
Let $h=f\circ g$ for composable functors $f,g$; assume that there exist left or right adjoints to $f$ and $g$. Then it ...

**5**

votes

**2**answers

422 views

### When is the category of small (pre)sheaves a(n elementary) topos?

When $C$ is essentially small, the presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is the free cocompletion of $C$. The presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is also a topos.
When $C$ is ...

**5**

votes

**0**answers

180 views

### Is there a higher, “orientalish” version of geometric realisation?

Geometric realisation of simplicial sets can be roughly thought of like this:
In some category $\mathcal{C}$, we choose an object for every abstract $n$-simplex. In topological spaces, we would ...

**7**

votes

**0**answers

181 views

### The bifunctoriality of co/limits

I recently noticed that there are two senses in which colimits are functorial, and I'm curious about their interplay.
Let $C$ be a cocomplete category. Then, on the one hand, for any diagram ...

**2**

votes

**1**answer

218 views

### Loop defects in Walker-Wang model

My question is about the description of general defects (specially loop defects) in the Walker-Wang (WW) model.
Elementary excitations in the WW model can be point particles, loop defects and more ...

**1**

vote

**0**answers

89 views

### is sufficient cohesion equivalent to the connectedness of subobject classifier?

I'm following Lawvere article Axiomatic Cohesion.
He states (Proposition VI.4) that sufficient cohesion is equivalent to the connectedness of subject classifier, but I can't follow the proof. I can't ...

**2**

votes

**0**answers

155 views

### Relationship between coherent toposes/coherent logic and coherent sheaves

I've heard it claimed that the adjective "coherent" in logic/topos theory (i.e. coherent logic, coherent toposes, coherent categories) was adopted to fit in with the terminology of coherent sheaves in ...

**2**

votes

**0**answers

72 views

### Notions of/References for freely generated (symmetric) monoidal categories

We often describe a category by giving a (directed, multi-)graph and freely generating a category of paths. I would like to know to what degree this intuition generalizes to monoidal categories, and ...

**3**

votes

**1**answer

348 views

### Notation: Categories of measur(abl)e spaces

Is there a common notation in the literature for
the category of measurable spaces and measurable maps?
the category of measure spaces and measure-preserving maps?
The nlab suggests ...

**0**

votes

**0**answers

67 views

### Is this quasi-coherent sheaf a subsheaf of $\ker f$?

Let $f: \mathcal{F}\to \mathcal{G}$ be a morphism of quasi-coherent sheaves over a scheme $X$. Let also $T_U$ be a submodule of $\ker f_U$ with $|T_U|\leq \kappa$ for each open subset $U$ of $X$ ...

**4**

votes

**1**answer

400 views

### Continuous maps to fat geometric realizations of simplicial spaces

The nLab page on partitions of unity mentions the application of partitions of unity as a way to construct continuous maps to geometric realizations of simplicial spaces. However I often feel ...

**0**

votes

**1**answer

105 views

### tree derived from monad is itself a monad

I have constructed a functor from a monad that appears (based on computer experiments to test the monad laws) to also have monad properties but I am having trouble proving it.
Here is the idea: M[A] ...

**3**

votes

**0**answers

108 views

### Proofs in monoidal categories [closed]

I have to do some pretty ugly proofs in monoidal categories. Basically, I have some long identities that I would like to prove. A random example:
$$(a\otimes b)\circ (c\otimes d) \circ q = q $$
Are ...

**5**

votes

**1**answer

128 views

### What homomorphisms $G \to BrPic(\mathcal{C})$ correspond to group-theoretical $G$-extensions of $\mathcal{C}$?

For a fusion category $\mathcal{C}$ the Brauer-Picard group $\text{BrPic}(\mathcal{C})$ is the group of all invertible $\mathcal{C}$-bimodule categories under multplication $\boxtimes_\mathcal{C}$.
...

**2**

votes

**1**answer

409 views

### Recollement of multiple $t$-structures

Given a recollement
$$
\mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} ...

**1**

vote

**0**answers

134 views

### Récollement of stable $t$-structures

Given a recollement
$$
\mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} ...

**-1**

votes

**1**answer

90 views

### Is this apushout diagram [closed]

Let $A, B, C, E$ and $F$ be some objects in an abeleian category $\mathcal{C}$. Let we have a commutative diagram
\begin{array}{ccccccccc}
0 & \xrightarrow{} & A & \xrightarrow{f} & ...

**0**

votes

**1**answer

76 views

### Canonical colimit and cartesian product of simplicial sets

Let $K$ be a simplicial set and let $\Delta K$ be the category of simplices, i.e the category where the objects are simplicial maps
$$
\Delta[n]\to K
$$
and the maps $\phi\: : \: (\Delta[n]\to K)\to ...

**12**

votes

**4**answers

749 views

### Brandt's definition of groupoids (1926)

The definition of a category is usually attributed to Mac Lane and Eilenberg (1945). What seems to be less known is that the german mathematician Heinrich Brandt has developed the notion of a groupoid ...

**5**

votes

**1**answer

377 views

### Functor generalisation

In an article I am writing, I am led to the following generalization of the notion of functor. Let $C$ and $D$ and be two categories. A generalized functor $F : C \to D$ is given by:
a function $f : ...

**2**

votes

**0**answers

47 views

### Lattice of subobjects of a particular coproduct

I have the following situation: $\mathcal C$ is a (good enough, say Grothendieck) Abelian category and $F:\mathcal C\to \mathcal C$ is self-equivalence. Given an object $C$ in $\mathcal C$, what can I ...

**3**

votes

**1**answer

99 views

### Is the image of a idempotent morphism in $\mathcal{K}(\mathcal{A})$ defined in the naive way?

Let $\mathcal{A}$ be an abelian category and $\mathcal{K}(\mathcal{A})$ be the homotopy category of chain complexes in $\mathcal{A}$. It is well-known that $\mathcal{K}(\mathcal{A})$ is idempotent ...

**1**

vote

**0**answers

94 views

### When is the category of endofunctors braided? When is it ribbon? Fusion? Modular?

Given a category $\mathcal{C}$, we can define the category of endofunctors $\operatorname{Cat}(\mathcal{C})$, with objects functors $F: \mathcal{C} \to \mathcal{C}$ and morphisms natural ...

**0**

votes

**0**answers

67 views

### The first lemma in Auslander's functors and morphisms determined by objects

[lemma 1.1] Let $\mathcal{C}$ be a preadditive category. Suppose G is in ($\mathcal{C^{op}}$, $\mathcal{Ab}$). If for each $X$ in $\mathcal{C}$ we are given a subgroup $A_x$ of $G(X)$ such that ...

**21**

votes

**3**answers

748 views

### Possible categorical reformulation for the usual definition of compactness

Let $X$ be a compact topological space, $f_i:Y_i\to X$ a family of continuous maps such that the topology on $X$ is final for it (i.e., $U\subset X$ is open iff $f_i^{-1}(U)$ is open for each $i$, for ...

**5**

votes

**1**answer

160 views

### Relations between functors in a recollement

Consider a recollement situation like the following
by the very definition of the various functors it follows that $i^* j_*=0$, and $j^! i_* = 0 = j^* i_!$. Also, $j^! i_! = 0 = j^* i_*$ by ...

**8**

votes

**4**answers

786 views

### Topological Grothendieck Construction

Let $C$ be a small category and $F\colon C^{op}\rightarrow Set$ a functor. The Grothendieck construction is the category $F\wr C$ with objects being pairs $(c,x)$ where $c$ is a object of $C$ and ...

**0**

votes

**0**answers

54 views

### Intersection and union of torsion classes

One of the main result in
Cassidy, C., M. Hébert, and G. M. Kelly. "Reflective subcategories, localizations and factorization systems." Journal of the Australian Mathematical Society (Series A) ...

**7**

votes

**3**answers

497 views

### Category of Gödel Codings? [Reference Request]

Consider computation with the integers $\mathbb{Q}$. The traditional theory of recursive functions on $\mathbb{N}$ applies to $\mathbb{Q}$ by the identification of $\frac{a}{b} \in \mathbb{Q}$ with ...

**4**

votes

**1**answer

206 views

### Establishing Duality in Tannakian Categories

I sometimes need to prove a category is Tannakian. Part of the definition of a Tannakian category is that it is rigid.
However, I find the definition of rigid categories somewhat difficult. I don't ...

**0**

votes

**2**answers

289 views

### Serre's Theorem for Coherent Sheaves

I recently heard a discussion about a certain of Serre which reconstructs the category of coherent sheaves of a variety $V$ as the category of modules over the homogeneous space of $V$ modulo modules ...

**4**

votes

**0**answers

131 views

### When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...

**8**

votes

**2**answers

312 views

### Definition of internal field objects

Let $\mathcal{C}$ be a category with finite limits and a strictly initial object $\mathbf{0}$. The final object is denoted by $\mathbf{1}$. I propose the following definition of a field object ...

**5**

votes

**0**answers

128 views

### How do you categorify the cycle index series?

Let $F$ be a combinatorial species. The exponential generating series of $F$ is defined to be
$$ \sum_{n \geq 0} \frac{ \lvert F_n \lvert x^n}{n!} $$
It was observed by Baez and Dolan in their paper ...

**1**

vote

**0**answers

131 views

### Sum-epimorphisms and prod-monomorphisms

Sum-epimorphisms
A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition:
...

**4**

votes

**1**answer

130 views

### Is there a quotient or exact sequence of symmetric, premodular (ribbon fusion) and modular categories?

In Walker and Wang's article about (3+1)-TQFTs from premodular categories, they say on page 14 that you can take a quotient of a premodular category $\mathcal{C}$ by its symmetric fusion subcategory ...

**2**

votes

**1**answer

175 views

### strictifying tricategories

Every tricategory is equivalent to a Gray-categories. However any Gray-category is not equivalent to a 3-category. As far as I know, this is similar to the fact that braided monoidal categories are ...

**1**

vote

**0**answers

70 views

### Weakly group theoretical fusion category and subsystems

Let $\mathcal{C}$ be a fusion category and $H$ a semi-simple finite weak Hopf algebra such that $\mathcal{C}(H) = \mathcal{C}$.
Suppose that for every nontrivial left coideal subalgebras $S$ of $H$ or ...