Categories and functors, universal properties, algebras and algebraic theories, topoi, enriched and internal categories, structured categories (abelian, monoidal, etc), higher categories.

learn more… | top users | synonyms

0
votes
0answers
18 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
0answers
81 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
1answer
71 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
0answers
95 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
0answers
89 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
2answers
175 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
1answer
188 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
1answer
52 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
1answer
164 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
0answers
78 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
1answer
114 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
0answers
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
0answers
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
1answer
89 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
1answer
188 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
1answer
172 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
0answers
70 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 ...
-3
votes
0answers
82 views

functors between categories that share some of the same equations [closed]

Suppose I have a category $C$ and we see it as a partial monoid (namely a set of arrows and a set of equations over those arrows). Next, consider $B$ which is a category that has only a subset of the ...
-4
votes
0answers
49 views

metric defined on an (partially) ordered set (diagram) of categories in Cat [closed]

Suppose I have a category $C$ and we see it as a partial monoid of morphisms (namely a set of morphisms and a set of equations over those morphisms). Next, consider $B$ which is a category that has ...
1
vote
1answer
111 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
0answers
153 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
1answer
117 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
1answer
260 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
1answer
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
0answers
87 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
1answer
123 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
1answer
249 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
0answers
50 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
0answers
100 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
2answers
134 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
3answers
213 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
1answer
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
0answers
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
0answers
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
2answers
211 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
2answers
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
1answer
126 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
0answers
162 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
1answer
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
1answer
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
0answers
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
2answers
182 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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
436 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
0answers
61 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 ...
1
vote
0answers
59 views

Determining finite abelian groups among algebraic theories by counting

Let $T$ be a Lawvere theory (algebraic theory) which contains the theory $T_{\mathrm{grp}}$ of groups as a subtheory (so that $T$ has, in general, more equations that $T_\mathrm{grp}$). Suppose ...
21
votes
9answers
2k views

What is… A Grossone?

Y. Sergeyev developed a positional system for representing infinite numbers using a basic unit called a "grossone", as well as what he calls an "infinity computer". The mathematical value of this ...