**-1**

votes

**0**answers

39 views

### Metrics and Measures on a Category of Cats : a cauchy complete category of categories

Is there a suitable way to restrict the functors between objects (and I suppose the objects themselves) of a category of categories such that we have a cauchy complete category. Can we find a complete ...

**3**

votes

**2**answers

133 views

### Definition of the differential of the Cone of a morphism of complexes [on hold]

Let $(F^\bullet,d_F)$ and $(G^\bullet,d_G)$ be two complexes in an abelian category $\mathbf{A}$.
The complex cone $Cone(\varphi)^\bullet$ of a morphism of complexes $\varphi:F^\bullet \to G^\bullet$ ...

**5**

votes

**1**answer

229 views

### Hahn-Banach theorem for arbitrary locally compact fields?

Does anyone know if the Hahn-Banach theorem is true for every locally
compact field? Specifically, let $F$ be a finite algebraic extension of
either $Q_p$, the $p$-adic completion of $Q$, or of
...

**2**

votes

**1**answer

112 views

### Opposite of an E2-algebra

Suppose $C$ is the monoidal $\infty$-category of modules over an $\mathcal{E}_2$-ring spectrum $A$. Let $C' = C$ as a category, but with opposite monoidal structure to $C$. Is $C'$ the category of ...

**2**

votes

**0**answers

150 views

### About the limitation by size

This could be a big post, so I'll try to summarize my thoughts and divide them into several questions.
When working in category theory, I used to choose the following definition. A category $C$ is ...

**-2**

votes

**0**answers

95 views

### a naive question: is the category of moniods cartesian closed? Why? [on hold]

I read steve awodey's "category theory" and could't solve the exercise in chapter6 above.
Here i speak the "category of moniods" the category with objects moniods and arrows homomophisms between ...

**6**

votes

**1**answer

81 views

### When do powers and ends in functor categories act pointwise?

$\newcommand{\C}{\mathcal C}\newcommand{\I}{\mathcal I}\newcommand{\D}{\mathcal D}\newcommand{\J}{\mathcal J}$Let $(\C, \otimes, I, \multimap)$ be a complete closed monoidal category and $\I$ a small ...

**6**

votes

**0**answers

108 views

### Is there a finite test for isomorphisms of rigid monoidal abelian categories, part II

Let $G$ be a semisimple algebraic group. (I'm already interested in the case $G=SL_2$.)
Let $\mathcal C$ be a semisimple rigid monoidal abelian category endowed with an additive tensor functor $Rep_G ...

**2**

votes

**0**answers

93 views

### DG natural transformation Serre functors

This question might be really easy (or stupid), but I have only vague (heard-about) knowledge of DG categories, so I don't know where to look for an answer.
Let $X$ be a smooth projective variety ...

**3**

votes

**2**answers

177 views

### How to simplify the proof of right-properness?

Question. Is it true that to check that a model category is right proper, it suffices to check the property for weak equivalences with fibrant codomain ? (if the domain is also fibrant, the pullback ...

**0**

votes

**1**answer

191 views

### Order-Perserving Bijection $f:A\to A^*$?

Let $A$ be a well-quasi-ordered infnite set. Does there exist an order-preserving bijection $f:A\to A^*$, where $A^*$ is the free monoid over $A$ under the subword ordering? Would this subword ...

**0**

votes

**1**answer

54 views

### Mapping an arrow from the direct limit of a diagram to the family of arrows from the diagram

Consider the direct limit of an indexed family $\{a_n\}_{n\in \omega}$:
$\require{AMScd}$
\begin{CD}
a_0 @>>> \ldots @>>> a_n @>>> a_{n+1} @>>> ...

**12**

votes

**1**answer

170 views

### Is there a finite test for isomorphisms of rigid monoidal abelian categories?

Let $G$ be a semisimple algebraic group. (I'm already interested in the case $G=SL_2$.)
Let $\mathcal C$ be a semisimple rigid monoidal abelian category endowed with pair of exact tensor functors ...

**4**

votes

**0**answers

88 views

### Ref request: modelling regular theories as an injectivity condition

The background to the following observation is standard material in categorical logic, and I thought this was was too — I don’t remember learning it, but I don’t think it is original — but I can’t now ...

**2**

votes

**1**answer

116 views

### The source-side-opposite of the arrow category

Given a category $C$, is there a name for the following category:
$\mathrm{Obj}(D) = \left\{ (x, y, f) \middle| x, y \in \mathrm{Obj}(C), f \in C(x, y) \right\}$
$D((x, y, f), (x', y', f')) = ...

**2**

votes

**0**answers

42 views

### Holonomy 2-functor transformation by transition functions

The holonomy 2-functor on a $\mathcal{G}$-principal 2-bundle associates a bigon:
$$\mathsf{hol}_i(\Sigma):\mathsf{hol}_i(\gamma)\Rightarrow \mathsf{hol}_i(\gamma')$$
in $\mathcal{G}$ to each bigon:
...

**0**

votes

**0**answers

60 views

### Is there a general way to define invariants in a category, using generalized elements?

In Awodey's category theory, page 37, he uses a specific generalized elements $2 \to X$ and $2 \to A$ for posets $A=\{a \leq b \leq c, \}$ and $X=\{x \leq y, x \leq z, \}$to make an invariant in the ...

**4**

votes

**1**answer

92 views

### Is this additive equivalence a triangulated equivalence?

Let $\mathcal{C}$ and $\mathcal{D}$ be triangulated categories, and suppose that there exists an additive equivalence $F: \mathcal{C} \to \mathcal{D}$. Suppose further that $\mathcal{C} = ...

**5**

votes

**1**answer

198 views

### Does this notion related to species/operads/FI-modules have a name?

Let $B$ be the symmetric monoidal category of finite sets and bijections with disjoint union. Let $C$ be a symmetric monoidal category. Is there a standard name for a lax monoidal functor $F:B \to C$? ...

**6**

votes

**1**answer

173 views

### What is the right adjoint of the tensor product in a closed monoidal functor category?

The nLab says the following about closed monoidal functor categories:
Let $C$ be a complete closed monoidal category and $I$ any small category. Then the functor category $[I, C]$ is closed ...

**2**

votes

**0**answers

71 views

### Factorization system in a derivator

Has anybody attempted to define the notion of a factorization system "in" a derivator?
Something on the lines of this: let $\mathbb{D}$ be a (strong) derivator. We define the orthogonality relation ...

**1**

vote

**1**answer

115 views

### How do you rigidify a Bousfield localization?

I'm learning about Bousfield localizations. For a triangulated category satisfying some axioms, a Bousfield localizations can be described as an idempotent functor $L:D \to D$.
I thought there is a ...

**1**

vote

**0**answers

154 views

### Reference request: Models of isomorphic languages result into isomorphic categories

This is basically a reference request by someone who has not been educated as a logician and would like to be rigorous about certain preliminary aspects of model theory.
Fix an uncountable universe ...

**5**

votes

**1**answer

118 views

### Do $RHom(C,D)$ and $DG(C,D)$ have equivalent homotopy categories?

Toen in The homotopy theory of dg-categories and derived Morita theory Section 6 introduced the internal Hom's between dg-categories. Actually for two dg-categories $C$ and $D$, Toen defined
$$
...

**8**

votes

**1**answer

267 views

### Non-Cartesian Monoidal Model Structure on a Slice Category

Given a monoidal model category $(M,\otimes, 1)$, and a monoid therein $A$, one can take the slice model category $M_{/A}$. This category has a natural monoidal structure induced by taking fibered ...

**3**

votes

**1**answer

146 views

### Action of a strict 2-group on a category gives autoequivalences?

A strict action of a strict 2-group (seen as 2-category with only one object $\star$) $\mathcal{G}$ on a 2-space (principally a category) $\mathcal{M}$ is a strict 2-functor $\Phi:\mathcal{G}\to ...

**2**

votes

**0**answers

88 views

### Factorization of a map through a square

Assume to have an abelian category $\mathcal{A}$, and consider its derived category $\mathcal{D^b(A)}$). Let $F:\mathcal{D^b(A)}\rightarrow\mathcal{D^b(A)} $ be a functor between triangulated ...

**0**

votes

**1**answer

128 views

### colimits in Cat via coproducts and coequalizers

I am attempting to do a calculation of a colimit in $Cat$, the category of small categories. To this end, people have suggested that I do this by calculating coproducts and using coequalizers. I ...

**2**

votes

**1**answer

252 views

### Groupoid isomorphism vs. group isomorphism

Assume that $\Gamma$ is a group with neutral element $e$. We associate to $\Gamma$ the following groupoid $G$:
$G=\Gamma \times \Gamma,\;\;\;G^{(0)}=\Gamma \times \{0\},\;\;s(a,b)=(a,e),\;\;\; ...

**1**

vote

**0**answers

51 views

### Non-trivial but simple concrete examples for some categories related to Tensor/Fusion categories

I'm writing a note on Tensor and Fusion categories, the readers of which are physicists rather than mathematicians. So instead of giving abstract definitions I have to give examples to inspire each ...

**4**

votes

**0**answers

101 views

### What structure of a monoidal simplicial model category is preserved by taking the opposite category?

Suppose we have $(M,\otimes,1)$, a monoidal simplicial model category. Then we can consider the opposite model category $M^{op}$ with the opposite model structure (fibrations become cofibrations, ...

**5**

votes

**2**answers

139 views

### How to make a premodular category a modular tensor category?

A premodular category (also called ribbon fusion category) is roughly speaking a tensor category where fusion and braiding of the objects are defined. With an extra nondegeneracy condition for the ...

**5**

votes

**3**answers

215 views

### strict 2-groups VS crossed modules

nLab defines a strict 2-groups in many different but equivalent ways, among them:
an internal group object in Cat,
an internal group object in Grpd
Also, it is known that strict 2-groups may be ...

**0**

votes

**1**answer

119 views

### Mac Lane strictness theorem and categorifiability of fusion rings

The Mac Lane strictness theorem states that any monoidal category is monoidally equivalent to a strict monoidal category (see here section 2.8).
Q1: Is it true that any fusion category is monoidally ...

**0**

votes

**0**answers

32 views

### going from basic category theory to 2-category theory [duplicate]

It seems to me that 2-category is the natural frame to express many of the interesting concepts in computer science :
monoidal categories and the various monoids (inc monades etc..)
end and coend as ...

**2**

votes

**0**answers

80 views

### Are there any detailed references for the enriched yoneda lemma?

I am just starting out learning enriched category theory, and I am looking for a reference proof of the Yoneda lemma for categories enriched in a monoidal category.
Thank you for your help.

**6**

votes

**2**answers

213 views

### What is the “quaternionic” super Brauer group?

In addition to the two reasonably well-known categories $\mathrm{SuperVect}_{\mathbb R}$ and $\mathrm{SuperVect}_{\mathbb C}$ of real and complex super vector spaces, each of which is monoidally ...

**3**

votes

**2**answers

176 views

### Does every bicategory have a “delaxing object”?

If I'm not mistaken, there is a bicategory $\mathsf{Monad}$ given as follows:
Start with the associative operad.
Deloop it to obtain a multicategory.
Adjoin objects and morphisms as necessary to ...

**4**

votes

**1**answer

127 views

### Directed homotopy in the Cayley graph of a monoid

There is a the notion of the Cayley graph $C(G)$ of a group $G$ (which depends on a given presentation $G \cong \mathcal F(S) / \sigma$ where $\mathcal F$ is the free group functor and $\sigma$ some ...

**5**

votes

**0**answers

163 views

### reference request: category of crystals on a scheme is locally noetherian

I'm looking for a reference to the fact that the category of crystals on any scheme is locally noetherian. This is stated in Gaitsgory's paper "Crystals and D-modules" but he doesn't provide a ...

**2**

votes

**1**answer

74 views

### What do you get when you apply a universal cocone to a colimit functor

Any colimit can be represented as a functor $F$ left adjoint to a particular diagonal functor $\Delta: C \rightarrow C^J$. The unit of this adjunction is the natural transformation $\eta_K: K ...

**6**

votes

**1**answer

242 views

### Jets in synthetic differential geometry

As I understand it from Kostecki's notes, the $k$-jet $j^k f$ of a function $f: R^n \to R^m$ should be the map $$f^{D_k(n)} : {(R^n)}^{D_k(n)} \to (R^m)^{D_k(n)},$$
where $$D_k(n) = \{(x_1, \ldots, ...

**7**

votes

**0**answers

162 views

### A definition of the homotopy colimit of a coherent diagram

Suppose I am given a homotopy coherent diagram of spaces of shape $I$ (This is a simplicial functor $F:\mathfrak{C}[I] \to Top$, where $\mathfrak{C}$ is the standard cofibrant replacement functor in ...

**2**

votes

**2**answers

184 views

### Question about Enriched Categories and Functors

How would one describe the process of enriching a category C over some monoidal category D? Is there some functor between them that adds structure to the hom-sets?

**0**

votes

**0**answers

36 views

### monoidal product over database table entries

We have seen, from spivak that database schemas are categories, having tables as objects and relationships as morphisms. I am wondering if we can have a monoidal product over objects, that is, over ...

**2**

votes

**1**answer

90 views

### A question on 2-bundles

In this paper, the authors +John Baez and +Urs Schreiber defined (page 15) "transition functions" for a special kind of 2-bundles (those whose the base space is a ordinary smooth space augmented to a ...

**0**

votes

**0**answers

75 views

### Does a left Kan lift of a homset functor Hom(*, - ): C -> {Set} through the forgetful functor {M-Set} -> {Set} exist?

Let $M$ be a monoid and let $\mathsf{U} : M\mathsf{Set} \to \mathsf{Set}$ denote the functor which forgets the action on an $M$-set.
Given a category $C$ with a distinguished object $p$ as baspoint, ...

**2**

votes

**0**answers

167 views

### Algebraic K theory, Karoubi completion and splitting

Suppose $\mathcal{C}\subset \mathcal{C}'$ is a pair of pre-triangulated smooth DG categories over a characteristic-zero basefield (say, $\mathbb{C}$), such that $\mathcal{C}$ is faithfully embedded in ...

**16**

votes

**0**answers

442 views

### Variant of Conceptual Completeness

Let $\mathcal{C}$ and $\mathcal{D}$ be pretopoi, and let $f: \mathcal{C} \rightarrow \mathcal{D}$ be a pretopos functor (that is, a functor which preserves finite coproducts, finite limits, and ...

**3**

votes

**0**answers

63 views

### What are universal abstract $\sigma$-algebras on $\sigma$-frames?

Originally asked on MSE.
In this paper, the authors make the following definitions:
An (abstract) $\sigma$-algebra is a boolean algebra with countable joins.
A $\sigma$-frame is a bounded lattice ...