**2**

votes

**1**answer

273 views

### How to define a generating subset for algebra in a category?

As is well known, the definition of an monoid can be generalised to the notion of a monoid $A$ in a monoidal category $C$ (see the n-lab entry here). What I would like to know is if the notion of ...

**3**

votes

**1**answer

366 views

### building a product of two categories [closed]

MacLane, as well as probably any other category book, does not hesitate to define a product of two categories as a category consisting of pairs of objects, etc.
Now my question is: what law of nature ...

**3**

votes

**1**answer

190 views

### How does associativity get twisted by elements of $H^3(G)$?

In Braided Monoidal Categories by Joyal and Street, §6 a monoidal category is $V =T(G,M,h)$ built using a recipe:
objects are are elements of $G$ ✓
$V_0(x,y) = M$ if $( x=y)$ or else ...

**6**

votes

**0**answers

131 views

### Picard-Brauer exact sequence for infinity categories

This question may be very naive, or the answer may be well-known. In any case, a good amount of googling did not bring up anything useful (maybe I'm using the wrong words?).
If $f:A\to B$ is a ...

**8**

votes

**3**answers

645 views

### Grothendieck's Homotopy Hypothesis - Applications and Generalizations

Grothendieck's homotopy hypothesis, is, as the $n$lab states:
Theorem: There is an equivalence of $(∞,1)$-categories $(\Pi⊣|−|): \mathbf{Top} \simeq \mathbf{\infty Grpd}$.
What are the ...

**3**

votes

**1**answer

107 views

### Khovanov $sl_2$ homology of a connected sum of some torus knots

Let $T_{p,q}$ be the (p,q) torus knot. Could anybody possibly compute either unreduced or reduced Khovanov $\mathfrak{sl}(2)$ homology of the connected sum $T_{2,3} \sharp T_{3,4}$ of the (2,3) and ...

**5**

votes

**0**answers

83 views

### Non-degenerate limits of topoi

Let $\mathcal{E}$ be an elementary topos with natural numbers object $\mathbb{N}$, and let $\mathbb{C}$ be a cofiltered internal category in $\mathcal{E}$. Suppose we have a diagram of shape ...

**13**

votes

**1**answer

283 views

### Unobstructedness of braided deformations of symmetric monoidal categories in higher category theory

Let $k$ be a field of characteristic zero, and $\mathcal{C}$ be a $k$-linear additive symmetric monoidal category. A braided deformation of $\mathcal{C}$ over a local artin ring $R$ with residue ...

**0**

votes

**0**answers

82 views

### Merging / combining categories

Given a category X (that will be used as an underlying category) and collection of categories C(i) for i in I with a faithful functor from each C(i) to X, a category C is called the a fibered product ...

**1**

vote

**0**answers

77 views

### A factorization system on ${\rm Ch}(R)$

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Ch}(R)$ be the category of chain complexes of $R$-modules (eventually bounded).
...

**2**

votes

**1**answer

215 views

### Examples of functors $\mathbf{Set} \to \mathbf{Set}$ which are not analytic

Let $\mathbb{B}$ denote the groupoid of finite sets and bijections.
A functor $F : \mathbf{Set} \to \mathbf{Set}$ is analytic if it is the left Kan extension of some functor $G : \mathbb{B} \to ...

**3**

votes

**0**answers

71 views

### Regarding the definition of S-flows over a category (given a monoid S)

(This question was originally directed to Simone Virili, referring to the answer http://mathoverflow.net/a/103840/2926, but could also be addressed to the greater community.)
I was wondering if you ...

**1**

vote

**0**answers

58 views

### Adjoint action of semi-direct product

Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions
$\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...

**1**

vote

**0**answers

146 views

### Coarse moduli spaces and rational points [closed]

Let $K$ be a field (not necessarily algraically closed). Let $\mathcal{F}$ be a contravariant functor from the category of schemes over $K$ to sets and $M$ be a coase moduli space for the functor. So, ...

**84**

votes

**9**answers

4k views

### What non-categorical applications are there of homotopical algebra?

(To be honest, I actually mean something more general than 'homotopical algebra' - topos theory, $\infty$-categories, operads, anything that sounds like its natural home would be on the nLab.)
More ...

**3**

votes

**0**answers

354 views

### An exact sequence which does not split

Let $X$ and $Y$ be indecomposable modules over a finite dimensional algebra and let $f \colon X \to Y$ be a non-zero morphism which is neither a monomorphism nor an epimorphism.
Suppose that it is ...

**3**

votes

**1**answer

126 views

### Pullbacks of $C^*$-algebras

I am reading the paper of Pedersen: "Pullback and Pushout Constructions in C^*-Algebra Theory". I try to work out the arguments from Proposition $3.1$ of his paper (you can find this article in the ...

**7**

votes

**1**answer

179 views

### Localizing 2-categories about a single morphism

This question is a straight-up reference request, but of course I will be grateful for an answer in the event that no references are readily available. Consider a strict $2$-category $\mathbf{C}$ and ...

**10**

votes

**0**answers

210 views

### Goodwillie calculus and morphisms of functors

Let $F,G: \mathcal{T}\to \mathcal{S}$ be two functors from topological spaces to spectra (or topological spaces) and let $s: F\to G$ be a morphism between them.
Suppose $F$ and $G$ are analytic and ...

**1**

vote

**0**answers

129 views

### Axioms for a symmetric monoidal bicategory

I start reading the axioms for a symmetric monoidal bicategory. The axioms include so many diagrams to be satisfied. I am wondering if people really use these axioms directly to check a given data is ...

**5**

votes

**1**answer

185 views

### formally smooth functor

Let $p$ be a prime number, $\mathcal{O}$ the integers of a finite extension of $\mathbb{Q}_p$ with residue field $k$. Let $\mathcal{C}$ be the category of complete, local, noetherian ...

**1**

vote

**0**answers

67 views

### Can a category's partial monoid of arrows be completed to a total monoid?

Categories can be presented in the language of arrows only, without reference to objects (as discussed, say, here: Categories presented with Arrows only, no objects: partial monoids), and this is a ...

**8**

votes

**1**answer

224 views

### What is this operad-like structure called?

I'd like to know what's the name (if any) of the following categorical structure, and also references where it has been considered.
Given a category $C$, let $O=\{O(n)\}_{n\geq 0}$ be a sequence of ...

**5**

votes

**2**answers

337 views

### Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...

**6**

votes

**1**answer

326 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

345 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

135 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

98 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

201 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

98 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

126 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

150 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

60 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

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

**10**

votes

**1**answer

124 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

806 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

134 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

225 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

80 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

94 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

170 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

212 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

198 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

103 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

140 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

450 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

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