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

6
votes
1answer
458 views

Vectorisation of a category

I have no experience with category theory at all, but I recently stumbled upon the following construction. Since it is extremely elementary and seems rather natural, it should be known, but I have not ...
5
votes
1answer
220 views

Can you “combine” Ord and Mon to get Cat?

Mon is the category of moniods, which can be seen as categories with one object. Ord is the category of preorders, which can be seen as categories with up to one morphism in each homset. Is there ...
6
votes
1answer
289 views

If two structures are elementarily equivalent, is there a zigzag of elementary embeddings between them?

Fix a first-order signature $\Sigma$. There is an equivalence relation $\sim$ on the class $\Sigma\mathrm{-Str}$ of all $\Sigma$-structures given by $M \sim N$ iff $M$ and $N$ are elementarily ...
4
votes
1answer
332 views

Generalize $\pi_0(B\mathcal{C})\cong\{\text{objects}\}/\{\text{morphisms}\}$ to categories internal to topological spaces

Warmup: Let $\mathcal{C}$ be an ordinary category. Denote by $$B\mathcal{C}=(\coprod_{i\in\mathbb{N_0}}N_{i}(\mathcal{C})\times\Delta^i)/\tilde{}$$ its classifying space, i.e. the geometric ...
1
vote
1answer
154 views

A delicate question about derived functors

Let $A\subseteq B \subseteq C$ be three triangulated categories, such that $A$ is a full triangulated sub-category of $B$, and $B$ is a full triangulated sub-category of $C = K(R)$. Let $F: C \to D$ ...
3
votes
2answers
265 views

How to show the following two definitions of homotopy monomorphism are equivalent?

Let $M$ be a model category. In Toen's The homotopy theory of dg-categories and derived Morita theory Page 11 it is written: a morphism $x \to y$ in a model category $M$ is called a homotopy ...
2
votes
1answer
104 views

A question about the morphisms in the homotopy category of dg-Cat

Let $dg-Cat$ denote the category of (small) dg-categories and $Ho(dg-Cat)$ denote the localization of $dg-Cat$ at quasi-equivalence. Using the model structure on $dg-Cat$ we can describe the morphisms ...
6
votes
1answer
135 views

Regular epimorphisms in the category of simple undirected graphs

Let $\textbf{Grph}$ be the category whose objects are graphs $G = (V,E)$ such that $V$ is a set and $E \subseteq \mathcal{P}_2(V) := \{\{a,b\} \subseteq V: a\neq b\}$. We sometimes write $E(G)$ for ...
13
votes
2answers
381 views

A model category of abelian categories?

Let $\mathcal{M}$ be the following category: The objects are small abelian categories with chosen zero object, biproducts, kernels, and cokernels. The morphisms are functors that preserve the ...
9
votes
2answers
184 views

Reflective Localizations vs. categories of local objects

Given a category $\mathcal{C}$ and a set (let's not bother with size issues here) $\mathcal{W} \subseteq \text{Mor}(\mathcal{C})$ we may form the category $\mathcal{C}[\mathcal{W}^{-1}]$ obtained by ...
3
votes
1answer
376 views

Formulating Kunen's inconsistency and Reinhardt cardinals in term of category theory

It is known that one can formulate certain large cardinal axioms (e.g. Vopenka's principle--see Mike Shulman's answer to Harry Gindi's mathoverflow question "Reasons to believe Vopenka's ...
14
votes
1answer
748 views

Do I know what “coherent sheaf” means if I know what it means on locally Noetherian schemes?

I've been trying to convince myself that "coherent sheaf" is a natural definition. One way I might be satisfied is the following: for modules over a Noetherian ring $A$, coherent and finitely ...
5
votes
1answer
180 views

What is the monoidal equivalent of a locally cartesian closed category?

If a closed monoidal category is the monoidal equivalent of a Cartesian closed category, is there an analogous equivalent for locally cartesian closed categories? Is there a standard terminology or ...
4
votes
2answers
290 views

Kan extensions in the $2$-category of monoidal categories

Kan extensions make sense in any $2$-category. But so far I have only really seen them in the case of the $2$-category of categories, functors, natural transformations and the $2$-category of ...
8
votes
2answers
301 views

Around Vopěnka: Accessible category with small full discrete subcategories of arbitrary size?

I believe the model-theoretic version of the question is: is there a theory in finitary first-order logic which has, for each cardinal $\lambda$, a set $C_\lambda$ of $\lambda$-many models, such that ...
27
votes
3answers
2k views

Is every abelian group a colimit of copies of Z?

More precisely, is every abelian group a colimit $\text{colim}_{j \in J} F(j)$ over a diagram $F : J \to \text{Ab}$ where each $F(j)$ is isomorphic to $\mathbb{Z}$? Note that this does not follow ...
3
votes
1answer
121 views

Regular and extremal monomorphisms in the category of graphs

Let $\textbf{Grph}$ be the category whose objects are graphs $G = (V,E)$ such that $V$ is a set and $E \subseteq \mathcal{P}_2(V) := \{\{a,b\} \subseteq V: a\neq b\}$. We sometimes write $E(G)$ for ...
8
votes
2answers
360 views

Strategies for proving a category is Noetherian?

Let $C$ be a small linear category over a commutative ring $R$. A representation of $C$ is an $R$-linear functor $C \to \mathrm{Mod}(R)$. For example, for each $c\in C$, there is a representation ...
3
votes
0answers
100 views

Homotopy (co)limit (co)cones

Let $\mathscr{M}$ be a model category and let $\mathscr{I}$ be a small category. Consider any homotopy colimit functor ...
3
votes
3answers
194 views

a (pseudo)adjunction for the functor sending a category C to PSh(C) the category of presheaves

I've read about free cocompletion of categories discussing on the adjunction between Cat and cocompleteCat (Cat: category of small categories, cocompleteCat: category of small cocomplete categories ...
1
vote
1answer
89 views

Induced topology on site + Reconstructing global sections of a scheme (Orlov)

Let $(C,T,O)$ be a ringed site. Let $X$ be a presheaf on C. We get an induced ringed site $(C/X,T_X,O_X)$. C/X is the over category wrt the presheaf X. The topology $T_X$ is the biggest topology ...
6
votes
2answers
168 views

Direct proof that the model category of cdgas is left proper

Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred ...
12
votes
1answer
261 views

Is there something like “Noncommutative geometry internal to a category”?

I have heard that one can do algebraic geometry internal to symmetric monoidal categories. Topological quantum field theories also exist internal to symmetric monoidal categories, and the usual ...
2
votes
0answers
82 views

Do copairings provide dualities in derived categories?

Here is an elementary fact about vector spaces. Let $V,W$ be vector spaces over a field $\mathbb K$ and let $c : \mathbb K \to V \otimes W$ be an element of the tensor product. Then $c$ determines ...
2
votes
2answers
441 views

Exact sequences of pointed sets - two definitions

It seems to me that there are (at least) two notions of exact sequences in a category: 1) Let $\mathcal{C}$ be a pointed category with kernels and images. Then we call a complex (i.e. the composite ...
1
vote
1answer
196 views

Classifying space of a colimit of topological categories

Say I have a diagram $D:I\rightarrow\text{Cat}(\text{Top})$ of categories internal to compactly generated topological spaces. This induces a diagram $BD:I\rightarrow \text{Top}$ of classifying spaces. ...
21
votes
2answers
1k views

Why should have Peter May worked with CGWH instead of CGH in “The Geometry of Iterated Loop Space”?

This is a follow-up to Dan Ramras' answer of this question. The following correction can be found in the errata to The Geometry of Iterated Loop space (Page 484 here). The weak Hausdorff rather ...
1
vote
1answer
92 views

Is $\textbf{FHILB}$ locally regular?

Is the category, $\textbf{FHILB}$, of finite dimensional Hilbert spaces and linear maps locally regular, where `locally regular' is defined like this ...
1
vote
2answers
119 views

Poset-enrichment of abelian categories

Let $\mathsf{A}$ be an Abelian category (perhaps vector spaces or modules over your favorite ring), and let $\mathsf{A}(x,y)$ denote the set of morphisms in $\mathsf{A}$ from an object $x$ to another ...
8
votes
0answers
280 views

End of the Ext functors

Let $R$ be a ring, and consider the hom functor $\hom\colon Mod(R)^\text{op}\times Mod(R)\to Mod(R)$; the end of $\hom$ is well-known to be the set of endomorphisms (endonatural transformations) of ...
8
votes
2answers
605 views

random category theory

This question is in some sense dual to the one asked in Is there an introduction to probability theory from a structuralist/categorical perspective? since contrary to the OP who asks for references ...
2
votes
0answers
36 views

Comparing right and left quasi-representable bimodules

Let $\mathcal V$ be your favourite (closed, symmetric) monoidal model category. To fix ideas, set $\mathcal V = \mathrm{Ch}(k)$, the category of chain complexes over a fixed commutative ring. Given a ...
2
votes
1answer
124 views

Are lax functor categories into a cartesian closed 2-category cartesian closed?

Suppose that $C$ is a complete closed monoidal category and $I$ is any small category. Then the functor category $Fun(I,C)$ is again a closed monoidal category with the pointwise tensor product $F ...
1
vote
1answer
64 views

Strict comma objects implies comma objects

I'm condusion on a statement in this page comma object in $n$lab. It states: any strict comma object is a comma object, but the converse is not in general true. My confusion is: the strict comma ...
1
vote
0answers
166 views

Monoidal Forgetful/Free Adjunction for $E_2$-algebras

Suppose I am given two $E_2$-ring spectra $A$ and $B$ and a morphism of $E_2$-rings $\phi:A\to B$. Then I have $E_1$-monoidal categories of modules $LMod_A$ and $LMod_B$. Moreover I have morphisms ...
7
votes
1answer
369 views

Explicit counter example to Vopěnka's principle in the constructible universe?

Vopěnka's principle is a large cardinal axiom which has many equivalent formulations. One of them, which I find especially appealing, is the following: if the universe is satisfies Vopěnka's principle ...
0
votes
0answers
34 views

Morphisms between lax wedges

In the paper BOZAPALIDES, S., Les fins cartésiennes the following definition of a lax wedge for a 2-functor $S\colon \mathcal{A}^{op}\times \mathcal{A}\to \mathcal B$ between 2-categories is ...
3
votes
0answers
142 views

Categories in which an epimorphism applied to a non-monic epimorphism can be monic

Let $\mathcal{C}$ be a category, and let $A$, $B$, and $C$ be objects. Given $A \xrightarrow{f} B \xrightarrow{g} C$ such that: $f$ is both epic and monic $g$ is epic but not monic $gf$ is epic and ...
2
votes
0answers
135 views

(co)limits in the category of diffeological spaces vs. category of smooth manifolds

I am wondering which (co)limits that exist in the category of smooth manifolds are preserved by the inclusion into the category of diffeological spaces? Are there any results that allow us to ...
1
vote
1answer
209 views

Does a fully faithful functor between triangulated categories induce embedding of their Grothendieck groups?

Let $\mathcal{A}$, $\mathcal{B}$ be two triangulated categories and $F: \mathcal{A}\to \mathcal{B}$ be a triangulated functor between them. Then $F$ induces an homomorphism between their Grothendieck ...
5
votes
1answer
102 views

Is every frame monomorphism regular?

Is every monomorphism in $\mathbf{Frm}$, the category of frames, regular?
6
votes
0answers
164 views

Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?

We are taught that, in general: A type of objects that has nontrivial automorphisms cannot have a fine moduli space. The proof generally goes along the lines of: Take an object $X$ with a ...
6
votes
1answer
126 views

Extremal, but not regular monomorphism

Is there an example of a category, and a monomorphism $m:X\to Y$ between two objects such that $m$ is extremal, but not regular? (A monomorphism $m:X\to Y$ is said to be extremal if whenever $m=g\circ ...
5
votes
0answers
117 views

Are all monomorphisms in the category of bounded lattices regular?

Let $\mathbf{Lat}_{01}$ be the category of bounded lattices with lattice homomorphisms that respect the smallest and the largest element. Is there a monomorphism in $\mathbf{Lat}_{01}$ that is not ...
0
votes
0answers
47 views

About cartesian closure of lax.functors categories

Let $\mathscr{A}$ a category and $F, G, H: \mathscr{A}^{op}\to CAT$ lax.functors. I wish find a possible "natural correspondence" between categories: $[F\times G, H]_O \leftrightarrow [F, H^G]_O$ ...
6
votes
0answers
143 views

Is there a classification of 2d extended TQFTs with defects?

Chris Schommer-Pries has classified 2d extended TQFTs (topological quantum field theories) in his PhD thesis. The result is a (not necessarily abelian) separable symmetric Frobenius algebra (possibly ...
2
votes
1answer
195 views

Given a map of classifying spaces, can the target be described as a groupoid quotient of the source mod some action of some (co)kernel?

Let $H \to G$ be a homomorphism of affine algebraic groups (over characteristic $0$, if it matters). The case I care most about is when $H \to G$ is an inclusion. There is a corresponding map $f: ...
5
votes
1answer
199 views

Difference between coherent nerve of simplical model category and simplicial category

Suppose I have a simplicial model category $M$. Then I can take the homotopy coherent nerve of $M$ to obtain a quasicategory. This, however, only depends on the fact that $M$ is a category enriched in ...
7
votes
1answer
324 views

Constructing unnatural transformations

In a nutshell, the question is: is it true that any explicit (not involving axiom of choice) pointwise transformation between sufficiently complicated functors is natural almost everywhere? Let $C$ ...
8
votes
1answer
275 views

When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?

In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian ...