**3**

votes

**3**answers

368 views

### What are a couple of examples of finite sized but interesting categories?

I'm studying category theory and, given that I don't have a background in topology, I'm struggling to think of some finite categories that interesting.
The main one I know of is finite preorders -- I ...

**1**

vote

**0**answers

123 views

### Functors similar to $H^i(\cdot)$

Suppose $T$ is a contravariant functor from the category of pointed topological spaces to the category of abelian groups, then we have homomorphisms $\alpha\colon T(X)\times T(Y)\to T(X\times Y)$ and ...

**4**

votes

**3**answers

227 views

### An orthogonal factorization system on 1-Cob?

Let $1-Cob$ denote the category of oriented 0-manifolds and oriented cobordisms between them. If $W:A\to B$ is a cobordism, i.e. $\partial W\cong A+B$, we write $i^W_{dom}:A\to W$ and $i^W_{cod}:B\to ...

**13**

votes

**2**answers

423 views

### Model for the (infinity,1)-category of (homotopy-)limit preserving functors

I've got a simplicial model category $M.$ I'd like to get my hands on the (infinity,1) category of homotopy limit preserving functors from M to Spaces in order to compare it to another simplicial ...

**0**

votes

**0**answers

30 views

### Explicit computation of a limit of a cosimplicial object

Let $\Delta$ be the simplex category. Let $T_{n}$ be the standard topological $n$ simplex, i.e. it is the set of points of $\mathbb{R}^{n}$ such that $0\leq t_{1}\leq \dots \leq t_{n}\leq 1$. Its ...

**6**

votes

**2**answers

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

**4**

votes

**1**answer

285 views

### $\Omega X$-action on spectral $X$-bundles

I can generalize the notion of a space over $X$ (where $X$ is a based and connected space) to the notion of a spectrum over $X$ by considering functors of quasicategories $X\to Mod_\mathbb{S}$. In the ...

**12**

votes

**2**answers

510 views

### Does projective imply flat?

Let $\mathcal C$ be an abelian category equipped with a closed symmetric monoidal structure. This implies in particular that the monoidal structure $\otimes$ is right exact in each variable. I care ...

**1**

vote

**2**answers

152 views

### Are monoids with zero and partial homomorphisms related?

Context: Let $\Sigma=\{U,C,A,G\}$ and $L\subset\Sigma^*$, i.e. $L$ is a language over the alphabet $\Sigma$. Let $\Sigma'=\{0,1\}$ and define a homomorphism $f:\Sigma^*\to\Sigma'^*$ by extending $U ...

**3**

votes

**0**answers

115 views

### When there exists some “cone” of a morphism of (ind-representable) cohomological functors?

I am interested in cohomological functors from a certain small triangulated category $C$ to abelian groups.
The question is: given a tranformation $F\to G$ of two functors of this sort, is it ...

**2**

votes

**2**answers

144 views

### A conservative, non faithful functor between triangulated categories

Suppose that we have:
1) triangulated categories $C,D$, each equipped with a $t$-structure.
2) triangulated functor $F: C \to D$ which is $t$-exact.
3) $F$ reflects isomorphisms, i.e. is ...

**3**

votes

**1**answer

229 views

### Which 2-coskeletal simplicial sets is the nerve of a category?

Let ${\mathrm{tr}}_2$ be the truncation functor that takes a simplicial set and restricts it to dimensions at most 2. Its right adjoint is the 2-coskeleton functor. NLab says that the nerve of a small ...

**6**

votes

**1**answer

141 views

### Which dense inclusions of sites are ∞-dense?

An inclusion of sites f: D→C is dense if it induces an equivalence between the categories of sheaves on C and D.
Likewise, f is ∞-dense is it induces an equivalence between the ∞-categories of ...

**1**

vote

**1**answer

250 views

### Van Kampen colimits

nLab uses the following definition of van Kampen colimits --- a colimit in a category $\mathbb{C}$ is called van Kampen iff it is preserved by the internal indexing functor $\mathbb{C}/(-) \colon ...

**3**

votes

**2**answers

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

**2**

votes

**0**answers

90 views

### Do smooth manifolds create colimits for complex manifolds?

Suppose we have a diagram $D$ in the category $\textrm{Diff}_\mathbb{C}$ of complex manifolds, and suppose this diagram has a colimit $L$ after inclusion in the category $\textrm{Diff}$ of smooth ...

**27**

votes

**3**answers

1k views

### What are the benefits of viewing a sheaf from the “espace étalé” perspective?

I learned the definition of a sheaf from Hartshorne---that is, as a (co-)functor from the category of open sets of a topological space (with morphisms given by inclusions) to, say, the category of ...

**6**

votes

**1**answer

428 views

### Lurie's Endomorphism Space vs. Endomorphisms

In Jacob Lurie's book Higher Algebra, for an object $M$ of a monoidal $\infty$-category $\mathcal{C}$, he constructs a category $\mathcal{C}[M]$ which can be thought of as "maps in $\mathcal{C}$ of ...

**15**

votes

**0**answers

291 views

### Is there a symmetric monoidal 2-category “SuperDuperVect”?

Recall that the category $\mathrm{SuperVect}$, as a category, consists of pairs of vector spaces, thought of as formal direct sums $V \oplus W\,\Pi$, where $\Pi$ is the "odd line". (Called "$\Pi$" ...

**2**

votes

**0**answers

99 views

### Universality of the Simplex Category

This is not a research level question, but I have not been able to find a satisfactory proof of functoriality of a certain map, and have posted this on several sites, with no luck. I wonder if anyone ...

**8**

votes

**0**answers

358 views

### Derived functors - homotopical vs homological approach

This question is a crosspost of the second part of this MSE question.
In my first course in homological algebra, derived functors were defined in terms of universal $\delta$-functors. In the text ...

**2**

votes

**1**answer

347 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} ...

**6**

votes

**1**answer

213 views

### Categorical definition of infinite symmetric product

Let $(C,\otimes,I)$ be a symmetric monoidal category with coequalizers and directed colimits.
Fix some object $X$ and morphism $\tau\colon I\to X.$
Using $\tau$ one can construct a sequence of ...

**14**

votes

**9**answers

2k views

### References for homotopy colimit

(1) What are some good references for homotopy colimits?
(2) Where can I find a reference for the following concrete construction of a homotopy colimit? Start with a partial ordering, which I will ...

**3**

votes

**0**answers

82 views

### About Quillen equivalences between Bousfield localizations

Let $\mathcal{M}$ be a locally presentable category equipped with two left proper and left determined combinatorial model structures $\mathcal{M}_1$ and $\mathcal{M}_2$. There exist two sets $S_1$ and ...

**5**

votes

**2**answers

604 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

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

**8**

votes

**2**answers

294 views

### Reference for an unbiased definition of a symmetric monoidal category

In the references I know, a symmetric monoidal category is defined as a monoidal category equipped with some additional data, so in particular the monoidal product is a functor
$$
\mathcal{C}\times ...

**7**

votes

**7**answers

2k views

### A good place where to learn about derived functors

I would like to learn about derived functors.
Which reference do you advise ?

**2**

votes

**4**answers

792 views

### Are there natural examples of non-symmetric Frobenius algebras?

Symmetric Frobenius algebras arise everywhere, but the non-symmetric variety seem difficult to come by. Are there any natural examples/constructions that produce non-symmetric Frobenius algebras in ...

**10**

votes

**1**answer

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

**9**

votes

**2**answers

360 views

### A cosmos where coproduct injections are not monic

The injections (coprojections) of a coproduct in a category are very often monomorphisms. For instance, this happens in any extensive category (essentially by definition) and also in any category ...

**18**

votes

**3**answers

2k views

### Who needs Replacement anyway?

The set theory ETCS famously comes without the Replacement axiom schema (or an equivalent) that is part of ZFC. One (to me, not apparently useful) set that one cannot build in ETCS is $\coprod_{n\in ...

**33**

votes

**3**answers

2k views

### Pre-triangulated category that isn't triangulated

I've been working through some of the early parts of Neeman's book on triangulated categories, and he mentions that he does not know of a pre-triangulated category that is not triangulated. Is this ...

**6**

votes

**1**answer

413 views

### Groupoids and hypergroups

There are two generalizations of usual groups: groupoids, where the multiplication operation becomes "partial", and hypergroups, for which the result of multiplying two elements is a probability ...

**15**

votes

**3**answers

766 views

### Is a retract of a free object free?

I wonder whether this is true in the categories of groups, monoids, commutative algebras, associative algebras, Lie algebras?

**3**

votes

**2**answers

395 views

### It looks so coKleisli, but it's not. What is it?

Fix a symmetric monoidal category $(M,\otimes,I)$ and a small discrete monoidal subcategory $M'\subseteq M$. Define a new symmetric monoidal category $C:=CoKl(M,M')$ as follows: $Ob(C):=Ob(M)$, and ...

**0**

votes

**0**answers

122 views

### Determining a scheme $X$ is affine from $Qcoh(X)$

My question is a subquestion of this question. And a repost from this MSE question.
The settings is the following. Let $X$ be a scheme. Assume that the adjunction in TAG01BH of the stacks project is ...

**13**

votes

**1**answer

706 views

### Fully dualizable objects in classical field theories

This is a follow up to this MO question: Free symmetric monoidal $(\infty,n)$-categories with duals
Freed-Hopkins-Lurie-Teleman define a classical field theory as a symmetric monoidal functor $I$ ...

**1**

vote

**0**answers

69 views

### Monadicity of profinite algebras

We can show that the category of profinite algebras, cofiltered limits of finite algebras, is monadic over Stone spaces as follows. So, I wonder if there are any other examples.
In case that I was ...

**1**

vote

**0**answers

98 views

### Unique extendable functions… Is there a theory?

I also made this post in MSE, but I think it may fit here as well.
Motivation: Take a continuous function $f$ from a topological space $X$ to a hausdorff space $Y$. If $g$ is a continuous function ...

**107**

votes

**10**answers

12k views

### Is there an introduction to probability theory from a structuralist/categorical perspective?

The title really is the question, but allow me to explain.
I am a pure mathematician working outside of probability theory, but the concepts and techniques of probability theory (in the sense of ...

**1**

vote

**1**answer

294 views

### Construction of Highly Structured Quotient Groups in Quasicategories

Suppose we have a map of $E_n$-spaces $X\to Y$. Then there is a highly structured action of $X$ on $Y$, $X\wedge Y\to Y\wedge Y\to Y$, using the multiplication of $Y$. As such, I believe that there ...

**0**

votes

**1**answer

84 views

### Trying to relate the fundamental groupoid to vector bundles

Fix a topological space $X$. Now consider a functor from the fundamental groupoid of $X$ to the category $Vect$. In other words, we assign a vector space to each point of $X$, we allow ourselves to ...

**-3**

votes

**0**answers

47 views

### If there is in a category $\mathcal{A}$ finite products and equalizers then it has pullbacks [migrated]

My homework consist in showing that "If there is in a category $\mathcal{A}$ finite coproducts and coequalizers then it has pushouts" based on the proof that "If there is in a category $\mathcal{A}$ ...

**3**

votes

**0**answers

314 views

### 3 possible tensors in 2-categories?

let $\mathcal{A}$ be a 2-category, consider:
$$ \mathcal{A}(W \otimes_i A, X) \simeq_i \mathcal{C}at(W, \mathcal{A}(A, X))
\;\;\; i = 1, \: 2, \: 3. $$
where $W$ is a category, and $A$, ...

**11**

votes

**1**answer

213 views

### How many Fréchet manifolds are there?

Clearly the title needs clarifying. Allow me to let "how many" to mean a set larger than a skeleton of the category of Fréchet manifolds and smooth maps, if this category is indeed essentially small.
...

**-1**

votes

**0**answers

17 views

### Definition of Category of Hypergraphs [migrated]

I have a question concerning the definition of Hypergraphs in category theory, which I adopted from "A category-theoretical approach to hypergraphs" by W.Dörfler and D.A.Waller:
...

**-1**

votes

**2**answers

484 views

### Morphism in derived category [closed]

We know that the morphisms between objects of derived category are roofs. But how to understand them,and how to compute them. For example, we consider the derived category $D(X)$ of a projective ...

**1**

vote

**1**answer

100 views

### partial pullback-completion of a category

Let $\mathcal{C}$ be a (possibly enriched) category with all finite product, and $\mathbf{M}$ a class of morphisms.
Can one construct completion of $\mathcal{C}$ w.r.t. all pullbacks along morphisms ...