**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

88 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

740 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

158 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

776 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

495 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

205 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

271 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

127 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

302 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

127 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

127 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

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

**1**

vote

**1**answer

290 views

### Are chain complexes over a field always injective?

Question: Let $\mathbb{F}$ be an algebraically closed field of characteristic zero and let $\mathrm{Ch}_{\mathbb{F}}$ be the category whose objects are chain complexes (of $\mathbb{F}$-modules) and ...

**0**

votes

**0**answers

67 views

### Subdivision of a small category

I am reading about subdivision of a category from this paper:
http://www.math.uchicago.edu/~may/VIGRE/VIGRE2010/REUPapers/Delgado.pdf
At the page 4, the author of this paper gives the first example ...

**10**

votes

**1**answer

294 views

### Tensor product of dendroidal sets: counter-examples

For any smal category $A$, I shall write $\widehat A$ for the category $[A^{\text op}, \mathbf{Set}]$ of presheaves on $A$, and $y_A\colon A \to \widehat A$ for the Yoneda embedding relative to $A$.
...

**6**

votes

**2**answers

462 views

### Primitive Recursive Arithmetic via Universal Algebra

From the wikipedia article on Primitive Recursive Arithmetic (see http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic):
"Primitive recursive arithmetic, or PRA, is a quantifier-free ...

**0**

votes

**0**answers

121 views

### Reference Request: Category of explicit maps between primitive recursive sets?

[Edited]
Let $\mathsf{PR}$ be the category defined as follows:
Choose a specific presentation of Primitive Recursive Arithmetic, that is, with a specific set of terms for primitive recursive ...

**1**

vote

**2**answers

172 views

### How is a MacNeille completion “universal” like a beta-compactification is “universal”?

The beta-compactification of a topological space is characterized as the largest space such that every mapping from the original space to another (range) space can be extended through to a mapping ...

**5**

votes

**3**answers

458 views

### Why are pushouts the right tool in these setups

$\newcommand{\cat}[1]{\mathcal{#1}}$
$\newcommand{\cod}{\operatorname{cod}}$
$\DeclareMathOperator{\dom}{dom}$
$\DeclareMathOperator{\colim}{colim}$
The question is about two pushout constructions ...

**1**

vote

**1**answer

91 views

### Lax monoids where only the unit triangle is lax

I was rereading the paper Directoids: algebraic models of up-directed sets by Ježek and Quackenbush, this time with category theory in mind. When I tried to describe what the results in that paper ...

**6**

votes

**1**answer

240 views

### In a closed monoidal abelian category, are the compact projectives a monoidal subcategory?

Question: In a closed monoidal abelian category such that the unit object is compact projective, must the tensor product of compact projective objects be compact projective?
Recall that an object ...

**5**

votes

**1**answer

296 views

### Does homotopy invariance of homology follow from the structure of the simplex category $\Delta$?

Explicitly: Let $\Delta$ denote the simplex category, and $\mathscr{C}$ any small category, and fix a functor $F:\Delta \rightarrow \mathscr{C}$ such that $F\Delta^0$ is terminal. Also, assume ...

**3**

votes

**0**answers

91 views

### Hilb as a Colimit in the Category of Scott Complete Categories (foundations)

Here is a paper I found by Adamek that generalizes Domain theory into categories of categories called Scott Complete Categories. The category of Scott Complete categories is denoted SCC. For years, ...

**2**

votes

**2**answers

161 views

### Computable Categories in the most direct sense?

While there is a lot of work in category related to notions of realizability and computability, etc... I've failed to find work on categories that are computable in the sense of having object and ...

**7**

votes

**2**answers

193 views

### Kan extensions in concrete 2-categories

Kan extensions make sense in any 2-category. I am interested in Kan extensions in "concrete" 2-categories consisting of actual categories with some sort of structure (e.g., finite products, finite ...

**11**

votes

**0**answers

393 views

### Lifting DG-categories to characteristic zero

The question of lifting (smooth projective) varieties from an algebraically closed field $k$ of characteristic $p$ to characteristic zero (i.e., to the Witt vectors $W(k)$) is a classical one. It's ...

**14**

votes

**2**answers

489 views

### Etale spaces using Kan extensions

Mac Lane - Moerdijk's "Sheaves" gives this cryptic hint in page 91 that the equivalence between etale spaces and sheaves on a space $X$ can be cooked up using formal methods.
More precisely, we are ...

**2**

votes

**1**answer

181 views

### Equivariant Derived Category

If $G$ is an connected unipotent group over $k$,and $X$ a scheme of finite type over $k$, (an algebraic closed field of positive characteristic) then we can define the bounded derived categorie of ...

**5**

votes

**2**answers

169 views

### For a quasicategory $C$, why is $\mathrm{Fun}(\Lambda^2_0,C) \to \mathrm{Fun}(\Delta^{\{2\}},C) \cong C$ a cocartesian fibration?

More generally, I expect that the following is true:
Let $D$ be a diagram quasicategory, let $d \in D$ be a vertex, and use this to define $D' = D \amalg_{\Delta^{\{0\}}} \Delta^1$. Then ...

**12**

votes

**0**answers

264 views

### The topos for forcing in computability theory

My understanding is that forcing (such as Cohen forcing) can be described via a topos. For example this nlab article on forcing describes forcing as a "the topos of sheaves on a suitable site."
My ...

**1**

vote

**0**answers

141 views

### Intuition for hereditary torsion theories

I'm looking for intuition and references for the definition of a hereditary torsion theory and two facts found here. First, the definition and facts:
Definition. A torsion theory $(\mathcal ...

**13**

votes

**1**answer

656 views

### Are all smooth functions composites of 0-, 1-, and 2-ary functions?

I will formalize my question in terms of algebraic theories.
Background:
Recall that an algebraic theory (in the sense of Lawvere) is a category $\mathcal{C}$ which is closed under taking finite ...

**6**

votes

**2**answers

147 views

### An example of two cofibrant dg categories whose tensor product is not cofibrant

I have been reading the paper by Toën "The homotopy theory of dg categories and derived Morita theory" where in chapter 4 it is stated that the tensor product of two cofibrant dg categories $C$ and ...

**20**

votes

**4**answers

1k views

### Categorical proof subgroups of free groups are free?

This is a crossport of this question from MSE.
Is there a categorical proof that subgroups of free groups are free?
How about the result that subgroups of free abelian groups are free abelian?
...

**8**

votes

**1**answer

393 views

### Can any object in a presentable category be written as a colimit of generators?

Let $\mathcal{C}$ be a presentable category, and let $S$ be a set of objects such that $S$ generates $\mathcal{C}$ under colimits, i.e., such that the smallest cocomplete subcategory of $\mathcal{C}$ ...

**2**

votes

**0**answers

96 views

### Isomorphic subcategories of directed graphs and presets

For the purposes of this post, a digraph (directed graph) has neither loops nor multiple parallel edges, and a preset is an ordered pair consisting of a set $S$ and a preorder (viz., a reflexive and ...

**2**

votes

**2**answers

157 views

### Given functors $F$ and $G$, does $\mathrm{Res}_F \cong \mathrm{Res}_G$ imply $F \cong G$?

Assume $F, G : \mathbf C \to \mathbf D$ be functors. Denote by $\widehat{\mathbf C} = \mathrm{Fun}(\mathbf{C}^{\mathrm{op}}, \mathbf{Set})$ the category of presheaves of sets on $\mathbf C$. Then, $F$ ...

**3**

votes

**0**answers

107 views

### Is a concretely reflective full concrete subcategory necessarily finally dense?

On p.371 of "The Joy of Cats", by J.Adamek H.Herrlich and G.E.Strecker:
Proposition 21.32
If a topological category $(\mathbf{A},U)$ is a finally dense full concrete subcategory of $(\mathbf{B},V)$, ...

**7**

votes

**2**answers

277 views

### How are the Walker-Wang TQFT and the Crane-Yetter TQFT related?

Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original ...

**4**

votes

**1**answer

432 views

### Do hom-sets really live in the category Set?

This isn't really a research-level question (sorry!), but I asked on
math.se (link), and though the question was upvoted a few times, I didn't
get any answers. So since there may well be more ...

**17**

votes

**8**answers

956 views

### Examples of categorical adjunctions in analysis, Lie theory, and differential geometry?

In introductory texts on category theory, it seems like the majority of examples come from algebraic topology, algebra, and logic. Are there any good examples of adjunctions in analysis, Lie theory, ...

**7**

votes

**1**answer

382 views

### Is the functor of points of a scheme cofinally small?

Background: In functorial algebraic geometry one would like to consider the category of all functors $\mathsf{CRing} \to \mathsf{Set}$ and define/characterize the category of schemes as a full ...

**6**

votes

**3**answers

1k views

### A categorical method to, say, determine the cardinality of a group

I am trying to figure out how much one can figure out about an object using category theory. Ideally, any property that is well defined up to isomorphism should be computable using only category ...

**4**

votes

**2**answers

298 views

### Has this construction, which builds a symmetric multicategory from a commutative monoid, been described or studied anywhere, and if so, where?

Whenever $R$ is a commutative ring, write $R[x^{(n)}]$ for the set of all $p \in R[x]$ such that $p$ is a monic polynomial of degree $n$. Then $R[x^{(n)}]$ is not closed under sums, nor does it ...