**4**

votes

**1**answer

116 views

### Extremal, but not regular monomorphism

Is there an example of a category, and a monomorphism $m:X\to Y$ between two objects such that $m$ is extremal, but not regular? (A monomorphism $m:X\to Y$ is said to be extremal if whenever $m=g\circ ...

**3**

votes

**0**answers

107 views

### Are all monomorphisms in the category of bounded lattices regular?

Let $\mathbf{Lat}_{01}$ be the category of bounded lattices with lattice homomorphisms that respect the smallest and the largest element. Is there a monomorphism in $\mathbf{Lat}_{01}$ that is not ...

**0**

votes

**0**answers

46 views

### About cartesian closure of lax.functors categories

Let $\mathscr{A}$ a category and $F, G, H: \mathscr{A}^{op}\to CAT$ lax.functors. I wish find a possible "natural correspondence" between categories: $[F\times G, H]_O \leftrightarrow [F, H^G]_O$ ...

**5**

votes

**0**answers

120 views

### Is there a classification of 2d extended TQFTs with defects?

Chris Schommer-Pries has classified 2d extended TQFTs (topological quantum field theories) in his PhD thesis. The result is a (not necessarily abelian) separable symmetric Frobenius algebra (possibly ...

**2**

votes

**1**answer

187 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

180 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

306 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

258 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

310 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

552 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

96 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

214 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

58 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

125 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

92 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

246 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

69 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

399 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

168 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

173 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

190 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

83 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

140 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

68 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

338 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

65 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

381 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

98 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

104 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

116 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

311 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

127 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

**0**answers

35 views

### How is the monoidal product defined on the functor category between symmetric monoidal dagger cats

I have found a quote in a paper by Abramsky and Heunen
If C and D are symmetric monoidal dagger categories, then so is the category
[C, D] of functors F : C → D that preserve the dagger. ...

**0**

votes

**1**answer

75 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 ...

**11**

votes

**4**answers

708 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

370 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

41 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

79 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

66 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

732 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

151 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

745 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

49 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

484 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

198 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

245 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

122 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

291 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 ...