**5**

votes

**1**answer

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

**8**

votes

**0**answers

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

**51**

votes

**9**answers

11k views

### Relating Category Theory to Programming Language Theory

I'm wondering what the relation of category theory to programming language theory is.
I've been reading some books on category theory and topos theory, but if someone happens to know what the ...

**44**

votes

**7**answers

13k views

### Is Mac Lane still the best place to learn category theory?

For a student embarking on a study of algebraic topology, requiring a knowledge of basic category theory, with a long-term view toward higher/stable/derived category theory, ...
Is Mac Lane still ...

**-1**

votes

**0**answers

48 views

### Specific examples or applications of homotopy coherent diagrams [on hold]

nlab gives the basic idea about homotopy coherent diagram 1. Please show me a specific example or application on how it is done, thanks !

**2**

votes

**0**answers

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

**3**

votes

**3**answers

416 views

### Embedding Theorem for topological spaces, and in general

There are many examples throughout mathematics of abstracting the formal properties of a "familiar" structure, but then having a theorem stating that all models of the abstract axioms embed into one ...

**3**

votes

**3**answers

195 views

### Constants sheaves on an open subset

Let $X$ be a topological space and $U\subset X$ an open subset. Let's work in the category of sheaves of abelian groups on $X$. Consider the constant sheaf on $U$, $\mathbb{Z}_U$, given by ...

**2**

votes

**1**answer

96 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

**1**answer

53 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

**0**answers

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

**8**

votes

**1**answer

296 views

### Separation condition for higher Deligne-Mumford stacks

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an ...

**43**

votes

**0**answers

1k views

### A naive question about the double dual of a vector space

Let $K$ be a field. Are there non-scalar endomorphisms of the endofunctor
$$
V\mapsto V^{**}/V
$$
of the category of $K$-vector spaces?
I asked a related question on Mathematics Stackexchange, but ...

**7**

votes

**1**answer

318 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

**0**answers

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

**-2**

votes

**0**answers

96 views

### Should an object in the category always be a formal mathematical structure? [closed]

Today I heard during a popular lecture about the applications of category theory, than an object in the category should always be some kind of mathematical structure e.g. a set, ring, monoid, etc. So ...

**3**

votes

**0**answers

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

**6**

votes

**3**answers

992 views

### Does any tensor category correspond to a bialgebra?

I wonder how strong the power of Tannaka philosophy is, and if we accept that a tensor category is a generalized bialgebra, what difficulties we will come up against ?
Edit: Whether most tensor ...

**4**

votes

**0**answers

236 views

### A construction with homotopy colimits and homotopy pullbacks for descent

EDIT: Following the lines of some suggestions in the comments below, I try to add something more to explain the problem better. A map $\text{hocolim}Y\rightarrow\bar{Y}$ in $\text{Ho}(\mathbf{M})$ is ...

**2**

votes

**1**answer

274 views

### Recollement of multiple $t$-structures

Given a recollement
$$
\mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} ...

**2**

votes

**0**answers

120 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

**1**answer

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

**10**

votes

**0**answers

667 views

### Schemification (schematization?) of locally ringed spaces

Motivation:
Say $F: D \to Sch$ is a diagram in the category of schemes, and we're interested in whether it has a colimit (gluings, pushouts, and "categorical" quotients are all examples of ...

**3**

votes

**0**answers

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

**3**

votes

**1**answer

88 views

### Is every frame monomorphism regular?

Is every monomorphism in $\mathbf{Frm}$, the category of frames, regular?

**0**

votes

**0**answers

43 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$ ...

**5**

votes

**2**answers

577 views

### Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...

**3**

votes

**1**answer

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

**6**

votes

**0**answers

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

**4**

votes

**1**answer

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

**2**

votes

**1**answer

180 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: ...

**16**

votes

**5**answers

2k views

### Category theory and model theory as “natural” counterparts

I am aware of the profound discussion of the relationship between category theory and model theory (e.g. at The n-Category Café) but do wonder why category theory (CT) is not opposed to model theory ...

**3**

votes

**0**answers

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

**5**

votes

**1**answer

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

**8**

votes

**1**answer

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

**10**

votes

**1**answer

459 views

### Non-unique splittings of homotopy idempotents

By a homotopy idempotent I mean a map $f:X\to X$, where $X$ is a space, equipped with a homotopy $f\circ f \sim f$. In contrast to the situation in stable homotopy theory (where $X$ would be a ...

**7**

votes

**1**answer

294 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$ ...

**16**

votes

**8**answers

895 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, ...

**35**

votes

**11**answers

3k views

### Example of an unnatural isomorphism

Can anyone give an example of an unnatural isomorphism? Or, maybe, somebody can explain why unnatural isomorphisms do not exist.
Consider two functors $F,G: {\mathcal C} \rightarrow {\mathcal D}$. We ...

**8**

votes

**2**answers

648 views

### “Composition of Morita equivalences” or “Morita equivalence and the Nakayama functor”

This problem occured to me, when trying to find a Morita invariant for finite dimensional algebras.
Suppose $\Lambda$ and $\Gamma$ are two self-injective $k$-algebras ($k$ being a field) which are ...

**3**

votes

**1**answer

303 views

### What are the automorphisms of $BG$?

Setup: Let's work in the category of schemes over $\mathbb C$. Let $G$ be a finite group. Let $BG=[pt/G]$ be the classifying stack of principal $G$ bundles. This is a fiberd category over the big ...

**13**

votes

**1**answer

533 views

### What's the cardinality of a higher category?

The cardinality of a set is just the number of elements.
To make sense of the cardinality of a category, one has to account for the morphisms. The usual definition is the sum over the isomorphism ...

**1**

vote

**0**answers

92 views

### How does one compute a colimit of monoidal categories?

The question is in the title. I'm also happy to get answers about (your favorite adjective) monoidal categories.
Here's a guess:
In order to compute a colimit of monoids we can push everything down ...

**2**

votes

**0**answers

209 views

### category theoretic approach to Sylow theorems and finite group theory?

Is there a category theoretic approach to Sylow theorems?
More generally, is there an exposition of finite group theory in terms of category theory which would include Sylow theorems and little facts ...

**0**

votes

**1**answer

345 views

### (Homotopy) limits and colimits in a dg-category

It is known that differential graded categories (or, also, $A_\infty$-categories) are 'incarnations', in some sense, of (stable) $(\infty,1)$-categories. I'm not used to the theory of ...

**2**

votes

**1**answer

129 views

### Terminology question for maps between posets

Let $P$ and $Q$ be two poset (partially ordered sets) and $\phi : P \to Q$ an order-preserving function.
I would like to know whether there is a name and perhaps a different characterizations of such ...

**49**

votes

**7**answers

4k views

### When does Cantor-Bernstein hold?

The Cantor-Bernstein theorem in the category of sets (A injects in B, B injects in A => A, B equivalent) holds in other categories such as vector spaces, compact metric spaces, Noetherian topological ...

**1**

vote

**1**answer

82 views

### Projective family of probability spaces

This is a crosspost of this question from MSE.
I'm confused about the definition of a projective family of probability spaces $(S_t,\mathscr S _t,\mu_t,f_{ts})_{s,t\in T}$. The conditions
...

**1**

vote

**1**answer

57 views

### Quotients of termwise split injections, for additive categories

In the stack exchange notes found in Section 10 of this file, it is claimed that the category $K(\mathcal{A})$ of complexes up to homotopy is a triangulated category, if $\mathcal{A}$ is additive. In ...

**2**

votes

**0**answers

113 views

### Finitely presented categories and limits

Suppose I have a finite graph $G$, and I then take the free category $\mathcal{C}(G)$ over such a finite graph. Now, I would like to "force" some objects to be limits. Is there a way to do that ...