**6**

votes

**1**answer

329 views

### What information is lost in $X \to \mathrm{Sh}(X)$?

Given a topological space or site $X$. Construct $\mathrm{Sh}(X)$ - the sheaves on $X$ with values in $\mathrm{Set}$. Is it known what information is lost in this procedure?
Thanks, Adrian.

**10**

votes

**1**answer

349 views

### Categorical interpretation of disjoint cycle notation for tracing permutations

For a natural number $n\in\mathbb{N}$, let $\underline{n}$ denote the finite set $$\underline{n}:=\{1,2,\ldots,n\}.$$
A permutation $\sigma\in Aut(\underline{n})$ can be uniquely written (up to order) ...

**0**

votes

**1**answer

142 views

### Gauss Sums over “semisimple spherical tensor category”?

I read on the arXiv the following:
Let $\mathcal{\mathbf{C}}$ be a semisimple spherical tensor category with simple unit and let
$\mathbf{\Gamma}$ be the set of isomorphism classes of simple ...

**2**

votes

**0**answers

100 views

### Is the following a sufficient condition for being a primal algebra?

I have a question regarding universal algebra and, in particular, primal algebras:
Suppose that A is a finite simple algebra with no proper subalgebra, no automorphism except the identity map, with a ...

**1**

vote

**1**answer

203 views

### Inducing a Monoidal Structure using an Equivalence of Categories [closed]

Given an equivalence of categories $C \equiv D$, such that $C$ has a monoidal structure, is it clear that we can use the equivalence to induce a monoidal structure on $D$. Is there a standard ...

**3**

votes

**0**answers

100 views

### Stable $\infty$ categories as a 2-category

Is there a treatment in the literature of stable $\infty$ categories as a 2-category? I.e. with non invertible 2-morphisms.
Mostly I am interested in the behavior of the tensor product with respect ...

**2**

votes

**0**answers

29 views

### Dualities between varieties and quasivarieties at the finite level

Suppose one has two locally finite quasivarieties $\mathcal{V}$ and $\mathcal{W}$.
Further suppose that:
$\mathcal{V}$ is a variety.
The finite algebras $\mathcal{V}_f$ are dually equivalent to ...

**7**

votes

**1**answer

127 views

### What sort of W-types follow from existence of an NNO?

A W-type is an initial algebra for a polynomial endofunctor $P$ on a category $C$. A well-known example is that of a natural numbers object (NNO). Usually it is assumed that $C$ is locally cartesian ...

**4**

votes

**2**answers

154 views

### Is there a purely module theoretic characterization of semiprimitive rings?

A ring (say unital for simplicity) is semiprimitive (or Jacobson semisimple) if its Jacobson radical is trivial, or equivalently it has faithful semisimple module. Semiprimitivity is a Morita ...

**0**

votes

**0**answers

63 views

### Monoid action on an uncountably infinite set

The action of a monoid on a finite set is equivalent to a finite state machine, however I would like a categorical way to think about an uncountably infinite state machine (a state transition ...

**5**

votes

**1**answer

314 views

### A categorical characterization of ordinal numbers

It's rather easy to notice that the operation of join of categories reproduces the ordinal sum once restricted to act on (iso classes of) well-ordered set; it's rather easy to see that $\alpha\star ...

**11**

votes

**1**answer

131 views

### Understanding the computation of the center of Tambara-Yamagami fusion categories when realized as C* categories

Recall that the Tambara-Yamagami categories are those with fusion ring $\mathbb{Z}[A \cup m]$ where $A$ is an abelian group and $m$ is a non-invertible (simple) object such that $ma = am = m$ for all ...

**15**

votes

**4**answers

819 views

### Expressing the Lebesgue integral using categories + the difficulty of describing estimates in category theory

In this question of mine in a comment to the accepted answer, someone remarked:
There are ways to express even basic things in analysis, such as the
spectral theorem or the Lebesgue integral, ...

**1**

vote

**1**answer

136 views

### How can one define the direct limit of classes?

If we have a family of classes $(\mathfrak{M}_\alpha)_{\alpha\in D}$ of $\in$-structures with $D$ being a limit ordinal or the class of ordinals, and a family ...

**1**

vote

**0**answers

226 views

### Functors with Mayer-Vietoris Sequences

Let $F$ be a contravariant functor from some category of spaces (e.g. smooth manifolds or (compact?) topological Hausdorff spaces), to Abelian groups. Assume that for any open sets $U, V \subseteq X$ ...

**2**

votes

**0**answers

81 views

### A natural simplicial object in the simplicial category (?)

In several works (es. [CS]) the study of the properties of the simplicial category $\Delta$ reveals fundamental aspects of universal properties (eg monoid generator) or basic constructions (eg ...

**2**

votes

**1**answer

104 views

### When is an Eilenberg-Moore category or Kleisli category braided monoidal? When semisimple?

I have a braided monoidal, semisimple linear category $\mathcal{C}$. (Imagine representations of a semisimple quasitriangular Hopf algebra.) I also have a monad $(T,\mu,\eta)$ on it, however, $T$ is ...

**4**

votes

**2**answers

178 views

### Universal property of gluing [collage, cograph] of dg-categories

In some recent works, such as this one (3.2, page 15), a definition of "gluing of dg-categories along a dg-bimodule" is given. It is obviously the analogue of the notion of collage (or cograph) of a ...

**0**

votes

**1**answer

215 views

### What is the delooping of a looping?

What is $\mathbf{B}\Omega A$, where $A$ is a pointed object of an $(\infty,1)$ category with point $*\to A$, $\Omega A$ is the loop space of $A$, and $\mathbf{B}X$ is the delooping of $X$?
The ...

**3**

votes

**1**answer

201 views

### Postnikov towers in bounded t-structures

If $\mathcal{H}$ is the heart of a bounded t-structure in a triangulated category $\mathcal{T}$, then for every object $E$ in $\mathcal{T}$ there exists a finite sequence of integers ...

**1**

vote

**0**answers

107 views

### Flat and injective quasi-coherent sheaves

Let $X$ be a quasi-compact semi-separated scheme and
$$\varepsilon: 0\to A \to B \to C \to 0$$
be a short exact sequence of quasi-coherent sheaves. $\varepsilon$ is called a (categorical) pure exact ...

**6**

votes

**4**answers

1k views

### 'Category-theory'-free areas of pure math, 'category-theory'-loaded areas of applied math

To put it short: In which active research areas of (pure) mathematics no (or only minimal) knowledge in category theory is required ?
To put it long: I know almost nothing about category theory - but ...

**2**

votes

**2**answers

142 views

### When is a triangulated category uniquely determined by its generators?

Notation: Let $\mathcal T$ be a triangulated category, and let $\mathcal E$ be a full subcategory of $\mathcal T$. I write $\langle \mathcal E \rangle$ to indicate the smallest strictly full ...

**8**

votes

**2**answers

464 views

### Modern versions of Verdier's hypercovering theorem?

Let $\mathcal{C}$ be a small category equipped with a terminal object $1$ and a Grothendieck topology. (Assume $\mathcal{C}$ also has pullbacks, if it is more convenient.) The following is a ...

**0**

votes

**0**answers

86 views

### Path objects in projective model structure

I want to know how path objects look like in the presheaf category $[\mathcal{B}(\mathbb{Z}/2\mathbb{Z})^{\text{op}}, \text{Gpd}]$. Note that this category is just groupoids equipped with involutions. ...

**4**

votes

**2**answers

379 views

### Isomorphisms and higher homotopy

It is well known that a simply connected groupoid is already contractible. Thus, isomorphisms cannot model higher homotopy. But I wonder, is this a global phenomenon (because we consider categories ...

**3**

votes

**2**answers

245 views

### When are automorphisms in categories homotopically trivial?

First, let $\mathcal{G}$ be a groupoid. Then an automorphism $\gamma\colon X\rightarrow X$ in $\mathcal{G}$ considered as a loop in the nerve of $\mathcal{G}$ is homotopic to the point $X$ if and only ...

**1**

vote

**0**answers

187 views

### Factorization systems in a triangulated/stable category

Google is of little help when questioned about "factorization systems in a triangulated category". Are there informations about them? Are there "natural" (meaning: "obviously defined") OFS/WFS in a ...

**0**

votes

**1**answer

108 views

### What is the universal property of being the maximal common subobject of two objects in a semisimple category?

Imagine a semisimple abelian category $\mathcal{C}$, for example representations of a finite group.
Take two (nonsimple) objects $X, Y$ that are subobjects of a common object $Z$, and decompose them ...

**7**

votes

**1**answer

150 views

### Generalizing indexed coproduct from $\mathrm{Set}$ to other monoidal categories

Consider the diagonal functor $\Delta_\mathcal{J} : \mathrm{Set} \to \mathrm{Set}^\mathcal{J}$, given by $\Delta_{\mathcal{J}}(X) = J \mapsto X$. This has left and right adjoints, which in the case ...

**2**

votes

**0**answers

166 views

### Banach space interpolation theory in terms of categories

I have recently learned a bit about higher category theory.
And there is a question I would like to ask. Can we enrich banach space interpolation theory by using higher category theory?
Is it ...

**5**

votes

**1**answer

152 views

### Reference request: maps between moduli spaces

I want to understand the relationship between moduli spaces as we vary the different parameters. I'll focus on the moduli space ${\mathcal M}_{g,n}(X,\beta)$ of stable maps from genus $g$ curves with ...

**5**

votes

**2**answers

356 views

### What is the co-form of Grothendieck construction?

For simplicity, let us consider only a functor out of a small category $\mathcal{C}$ to $Set$,
$$
f:\mathcal{C}\to Set,
$$
The Grothendieck construction produces a category (category of elements) ...

**0**

votes

**0**answers

110 views

### Continuity of Kan extension along the Yoneda embedding

Let $\mathcal{C}$ be a category and $h_-: \mathcal{C} \to \mathrm{Set}^{\mathcal{C}^{op}}$ be the Yoneda embedding. Let $\mathcal{A}$ be a cocomplete category and $F: \mathcal{C} \to \mathcal{A}$ a ...

**6**

votes

**2**answers

245 views

### Weakening simplicial identities

The generators $d_i, s_i$ for morphisms of the simplicial category satisfy simplicial identities:
$d_jd_i = d_id_{j−1}$ for $i < j$
$s_jd_i = d_is_{j−1}$ for $i < j$
$s_jd_i = id$ for $i = ...

**4**

votes

**2**answers

149 views

### symmetric monoidal double categories?

Let me preface this by saying that I don't know much category theory.
I am running into a situation where I have a double category and additionally there is a multiplication. Moreover, choosing ...

**7**

votes

**0**answers

157 views

### What's the Hochschild homology of the category of constructible sheaves?

Let $X$ be a manifold. Does the Hochschild homology/cohomology of the category of constructible sheaves on $X$ have a more familiar name?

**6**

votes

**2**answers

279 views

### Unexpected interaction between limits and colimits

Let $D$ be a limit-complete category. My vague question is: given two diagrams in $D$, what comparisons between them induce a morphism of their limits? I'm especially interested in the case that the ...

**11**

votes

**0**answers

205 views

### Is there a quantum group or loop group description of a braided monoidal 2-category giving Khovanov homology?

Recall that there are (at least) two ways to describe the modular tensor category that $3$-dimensional Chern-Simons (with gauge group $G$ and level $k$) assigns to a circle: one involving ...

**10**

votes

**1**answer

603 views

### I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...

**6**

votes

**1**answer

220 views

### $\Omega$ and $B$ as adjoints between symmetric monoidal $(\infty,n)$- and $(\infty,n-1)$-categories

Given a symmetric monoidal $(\infty,n)$-category $\mathcal{D}$, one obtains a symmetric monoidal $(\infty,n-1)$-category $\Omega \mathcal{D}$ by taking $\Omega \mathcal{D}= ...

**2**

votes

**2**answers

276 views

### Morita equivalence via Kan extension

Are there necessary/sufficient conditions for a functor $f\colon \mathcal C\to \widehat{\mathcal A}$ to induce an equivalence $\text{Lan}_yf=F\colon \widehat{\mathcal C}\leftrightarrows ...

**4**

votes

**1**answer

258 views

### Universal property of module categories over monads

Let $T$ be a monad on a cocomplete category $\mathcal{C}$. Let's assume that $T$ preserves reflexive coequalizers (or something weaker?). Then the category of $T$-modules $\mathsf{Mod}(T)$ is ...

**2**

votes

**1**answer

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

**18**

votes

**0**answers

557 views

### The topologies for which a presheaf is a sheaf?

Given a set $S$, let $Top(S)$ denote the partially ordered set (poset) of topologies on $S$, ordered by fineness, so the discrete topology, $Disc(S)$, is maximal.
Suppose that $Q$ is a presheaf on ...

**1**

vote

**1**answer

222 views

### When are completely positive maps monic/epic?

In the category of C*-algebras and $*$-homomorphisms, a morphism is monic precisely when it is injective, and epic precisely when it is surjective (see Mono- and epi-morphisms for C*-algebras). Is ...

**0**

votes

**0**answers

85 views

### Quantum Bayesian update and Bayesian update of a model category

We know that we can have internal categories in a model category. We also know that there is a notion of Quantum Bayesian update in a monoidal category. Does the Quantum Bayesian update (equation ...

**3**

votes

**0**answers

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

**3**

votes

**1**answer

262 views

### Projectives and Injectives in Functor Categories

Would it be possible to enlighten me (or even better give a reference) about enough projectives (injectives) in functor categories?
Here is a precise question. Let $C$ be a small category, whose ...

**3**

votes

**2**answers

124 views

### Why is a braided left autonomous category also right autonomous?

In Selinger, P. A survey of graphical languages for monoidal categories (New Structures for Physics, Springer, 2011, 813, 289-233), it is stated that:
Lemma 4.17 ([23, Prop. 7.2]). A braided ...