# Tagged Questions

**2**

votes

**1**answer

148 views

### Does a binormal category always admit an additive structure?

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a ...

**2**

votes

**2**answers

213 views

### For a universal covering morphism $p:E\rightarrow B$, how to prove $E$ connected implies $B$ connected?

Definition. An arrow $\alpha:A\rightarrow B$ in $\mathsf C=\mathsf{Fam}(\mathsf A)$ is said to be a covering morphism if there exists an effective descent morphism $p:E\rightarrow B$ that splits it, i....

**21**

votes

**5**answers

640 views

### Are there non-trivial infinite chains of adjoint functors?

There are self-adjoint functors $A \dashv A$. There are also functors $A$ that are both left- and right-adjoint to another functor $B$. $$A \dashv B \dashv A$$
There are also finite cyclic chains of ...

**12**

votes

**2**answers

435 views

### Which spaces have enough curves

Let $\mathbf{Top}$ be the category of topological spaces, and let $I\in\mathbf{Top}$ be the unit interval $I=[0,1]\subset\mathbb{R}$. For any space $X$, let $|X|$ denote the underlying set of points; ...

**5**

votes

**1**answer

117 views

### Necessity of shapes for coherence results in category theory

The classic coherence theorems of MacLane (Natural associativity and commutativity, Rice U. studies, 1963) talked about natural transformations between functors. By 1971 (Kelly-MacLane, Coherence in ...

**9**

votes

**0**answers

188 views

### Grothendieck Construction, Categories of Operators and Opposites

Given a symmetric monoidal category $C$, we can construct its endomorphism operad (or multicategory) $End(C)$ whose objects are the objects of $C$, and for which the multimorphisms from $\{c_1,\ldots,...

**3**

votes

**1**answer

152 views

### Definition of dense functors

Definition. A functor $F:\mathsf C\rightarrow \mathsf D$ is dense if every $D\in \mathsf D$ is the vertex of the following colimit $$\varinjlim \left(F\downarrow D\rightarrow\mathsf C\rightarrow \...

**6**

votes

**1**answer

309 views

### Bar/Cobar Adjunction Between Modules and Comodules

There is a pretty well known, and widely written about, adjunction between augmented algebras and coaugmented coalgebras given by taking the bar construction on algebras and the cobar construction on ...

**0**

votes

**0**answers

157 views

### $\mathbb{Z}_2$ as a colimit of $\mathbb{Z}^*$

Consider the multiplicative monoid $(\mathbb{Z}^*,\cdot)$ of nonzero integers. By multiplication, $\mathbb{Z}_2$ is a right (or left) $\mathbb{Z}^*$-set. According to the co-Yoneda lemma $\mathbb{Z}_2$...

**5**

votes

**0**answers

104 views

### Is the bar resolution of complexes dg-functorial?

Let $k$ be a commutative ring, and let $V$ be a complex of $k$-modules (more in general, we can take an $\mathcal A$-dg-module, where $\mathcal A$ is a dg-category. We can construct the bar resolution ...

**1**

vote

**0**answers

85 views

### Internal language type of power objects

It is a basic fact that in a category with finite limits the following are equivalent
Each object $X$ has a (membership relation to a) power object $PX\times X\hookleftarrow\ni_X$ subject to the ...

**4**

votes

**0**answers

86 views

### Can I combine the category of Drinfeld modules and the category of the base O_S

I am learning about Drinfeld modules,T-modules,...They are said to be analogues of elliptic curves, abelian varieties,...
Let K be a finite extension of k = Frac(A), and $O_K$ the integral closure of ...

**4**

votes

**1**answer

225 views

### Categorification of covering morphisms

Given a category $\mathsf{A}$, let $\mathsf{Fam}(\mathsf{A})$ be its free coproduct cocompletion (which is always extensive). This means every object has a unique up to iso presentation as a coproduct ...

**0**

votes

**0**answers

97 views

### “Sheaf” on the nerve of a category

So I have the nerve of a category and want to communicate information about the sets at each level in the simplicial set (nerve). Is there a way to regard the nerve as a category itself? Then one ...

**10**

votes

**1**answer

829 views

### What is a field [Körper] really?

The notion of a field (a commutative ring $R$ with $0\neq 1$ and $R^\times=R-\{0\}$) seems to fit uncomfortably into modern algebra. To see what I mean, consider the following statements:
The ...

**21**

votes

**2**answers

952 views

### The homotopy category is not complete nor cocomplete

I understand that the homotopy category of (pointed) topological spaces and continuous maps is not complete. Nor is it cocomplete. In particular it neither has all pullbacks nor all pushouts.
What ...

**9**

votes

**1**answer

732 views

### Why do we denote (co)ends with integral notation (beyond Fubini's Theorem)?

I know that (co)ends (i.e. universal wedges) follow Fubini-like relation, i.e.
$$ \int_{\langle c,d\rangle} F(c,d,c,d) \cong \int_c\int_d F(c,c,d,d) \cong \int_d\int_c F(c,c,d,d) $$
where we regard $F$...

**2**

votes

**0**answers

93 views

### Mayer-Vietoris sequence for orbifolds

Is there a version of the Mayer-Vietoris long exact sequence for orbifolds? I am interested in orbifold homology as opposed to the homology of the underlying topological space.

**1**

vote

**0**answers

47 views

### Dual equivalence for multioperators

This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...

**4**

votes

**0**answers

124 views

### Categories where every Mono Splits

When every epi splits a category is said to satisfy the Axiom of Choice.
When every idempotent splits a category is called Cauchy Complete or Idempotent complete.
These look to be well-studied ...

**3**

votes

**0**answers

70 views

### Reference for generalized ind-completions?

I am wondering whether any enriched versions of ind- and pro- completions have been studied? I can not find any literature on them, even though I believe people (most likely the Australian school) ...

**-5**

votes

**1**answer

121 views

### Equivalence of categeories-variants of definition [closed]

There is a notion of equivalence of categories which is the functor $F:\mathcal{C} \to \mathcal{D}$ such that there is a functor $G:\mathcal{D} \to \mathcal{C}$ such that $FG \cong id_{\mathcal{D}}$ ...

**28**

votes

**1**answer

736 views

### What is the meaning of this analogy between lattices and topological spaces?

Let me add one more edit to help explain why this is a serious question. Theorem 5 below is a sort of lattice version of Urysohn's lemma, and it has essentially the same proof. Theorem 6, the famous ...

**1**

vote

**0**answers

151 views

### $\mathbb E$-descent maps in topological spaces in terms of different sites?

The paper Facets of Descent I by Janelidze and Tholen defines $\mathbb E$-descent maps as those for which $\Phi^p:\mathbb EB\longrightarrow \mathsf{Des}_\mathbb{E}(p)$ is an equivalence of categories.
...

**6**

votes

**0**answers

369 views

### Competing notions of étaleness

I'm writing some notes to myself on algebraic geometry and I'm trying to get the most conceptual definitions. Having arrived at formally étale morphisms, I am pretty desperate.
Here is a list of ...

**5**

votes

**0**answers

148 views

### If $A$ is an algebra, $Sym^n(A)$ is an algebra. Where can I learn more about this algebra structure?

$\newcommand{\Vect}{\mathsf{Vect}}
\newcommand{\nats}{\mathbb{N}}
\newcommand{\Sym}{\mathrm{Sym}}
\newcommand{\Alg}{\mathsf{Alg}}
\newcommand{\CAlg}{\mathsf{CAlg}}
\newcommand{\Hom}{\mathrm{Hom}}$
Let ...

**1**

vote

**0**answers

60 views

### A question on uniformly corepresented functor

Let $\mathcal{F}$ be a functor from the category of $k$-schemes to sets, uniformly corepresented by $M$. Suppose $U$ is an open subscheme of $M$. I could not find a good reference for uniformly ...

**8**

votes

**1**answer

444 views

### Cohomology theory “from” Grothendieck's six operations?

How, precisely, (as suggested by grothendieck) cohomology theory naturally follows from the Grothendieck's six operations associated to the category derived from the topos?
I would like some ...

**2**

votes

**1**answer

69 views

### How nontrivial can “central extensions of ribbon fusion categories” be?

In a sense, this is a follow up on this question, but one PhD programme later.
Let $\mathcal{C}$ be ribbon fusion. By $\mathcal{C}'$, we denote the symmetric centre, i.e. the full subcategory of ...

**5**

votes

**3**answers

131 views

### Set of functions is not a bifunctor on Rel

Let Rel be the category whose objects are sets and whose morphisms are binary relations, with composition defined by $x (S \circ R) z \Leftrightarrow (\exists y : x R y \wedge y S z)$, and identity ...

**10**

votes

**1**answer

163 views

### Which simplicial objects are Čech nerves?

In 1-categories, a regular epimorphism is a coequalizer of some parallel pair. An effective epimorphism is one which coequalizes its kernel pair. In the presence of kernel pairs, regular and ...

**8**

votes

**1**answer

163 views

### Intuition for density comonad in relation to lifting problems

In Emily Riehl's Categorical Homotopy Theory, there is a section on Garner's Small Object Argument which I'm trying and failing to understand. Originally I followed most of Garner's paper, using the ...

**10**

votes

**2**answers

433 views

### From Weyl groups to Weyl groupoids?

I'm trying to find a framework where the choices in the classical construction of a root system of a semi-simple lie algebra are not needed.
Let $\mathfrak{g}$ be a semisimple lie algebra.
...

**3**

votes

**1**answer

236 views

### List is a monad, but is it a comonad with these natural transformations?

List is known to be a monad. It takes a set and maps it to lists of elements of that set. The natural transformations are, singleton and flatten, whereby we map a set to a set of singleton lists ...

**7**

votes

**1**answer

80 views

### natural weak factorization systems

I am trying to understand the definition of natural weak factorization systems from this article by Tholen and Grandis, and these notes by Emily Riehl.
In Riehl's notes, the splitting $s,t$ are of $\...

**5**

votes

**0**answers

314 views

### Deligne's theorem on the characterisation of Tannakian categories

I am trying to understand the proof of the Theorem 7.1 from Catégories Tannakiennes by Pierre Deligne https://publications.ias.edu/sites/default/files/60_categoriestanna.pdf.
Essentially, it is ...

**2**

votes

**1**answer

138 views

### Appropriate morphisms and 2-morphisms in Ind(C)

As I was trying to understand the category $Ind(C)$ of diagrams of the form $I \to C$, where $I$ is a small filtered $(0,1)$-category, I wondered whether it is possible to define morphisms directly, ...

**5**

votes

**0**answers

153 views

### Hemi-Semi Direct Product

In the category of racks (similarly quandles), instead of well-known semi direct product, we have hemi-semi direct product construction as seen on Wagemann & Crans.
As far as I know, semi direct ...

**9**

votes

**3**answers

488 views

### “Spatial (geometrical)” realization of Elementary topos?

It is well known that (Grothendieck) Topos (in fact, Model topos too) has many good geometrical properties. In many senses reflects general forms of generic geometry.
Note: Grothendieck view of Topos ...

**2**

votes

**1**answer

143 views

### Small object argument for multiple factorization systems

Is there something similar to the small object argument, but related to a chain of factorization systems on a category $\cal C$?
It is easy to see that one can give a chain of "generating morphisms" ...

**3**

votes

**1**answer

163 views

### discrete Grothendieck construction

In "BASIC CONCEPTS OF ENRICHED CATEGORY THEORY", (version Reprints in Theory and Applications of Categories, No. 10, 2005), chapter 4.7 p.75-76, Kelly introduces the "discrete Grothendieck ...

**3**

votes

**0**answers

87 views

### Obtaining Lawvere's “State categories and response functors”

I'm looking to get my hands on a (.pdf) copy of Lawvere's 1986 preprint State categories and response functors. If someone can post it and answer this question by offering a link, I'd appreciate it.

**1**

vote

**0**answers

61 views

### Adjunction of Crossed Module Functors

I am wondering about the following two related questions and don't know if they have already clear answers or not.
1) Suppose that we already know the functor $F \colon \mathcal{C} \to \mathcal{D}$ ...

**4**

votes

**1**answer

80 views

### Are product / coproduct projections / inclusions 'semistrict'?

Let $\mathbf{C}$ be a category with zero object, kernels, and cokernels. Then, a morphism $f\colon A\rightarrow B$ in $\mathbf{C}$ is semistrict iff the canonical map $\operatorname{Coker}(\ker (f))\...

**6**

votes

**1**answer

122 views

### Factorization system “tilted” by $(L,R)$

Suppose you have a pair of orthogonal factorization systems, $(E_0, M_0), (E_1, M_1)$ in a category $\cal C$ such that $M_0\subseteq M_1$; this entails that there is a ternary factorization
$$
X\...

**9**

votes

**0**answers

153 views

### Is there any notion of “smoothification” from $\mathbb{R}$-schemes to generalized smooth spaces?

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor $\mathcal{...

**7**

votes

**1**answer

93 views

### Can a weak fibration category be non saturated?

A weak fibration category is a category $\mathcal{C}$ equipped with two subcategories
$$\mathcal{F}, \mathcal{W} \subseteq \mathcal{C}$$
containing all the isomorphisms, such that the following ...

**10**

votes

**1**answer

309 views

### Difficulties with descent data as homotopy limit of image of Čech nerve

Apologies if this question is inappropriate for MO. It is not a research level question in any of the topics it addresses, I just don't see how a novice can go about answering it alone (I've tried ...

**1**

vote

**0**answers

132 views

### Example of non-locally finite stability condition

I am trying to work out example 5.6 in Bridgeland's paper "Stability conditions on triangulated categories".
http://annals.math.princeton.edu/wp-content/uploads/annals-v166-n2-p01.pdf
A standard ...

**1**

vote

**1**answer

172 views

### Real/complex addition, multiplication, and exponentiation from a categorical viewpoint? [closed]

Edit: As an attempt to make the question somewhat more precise, I'll describe my intuitions in more detail here. Yes, I'm changing the details of question slightly, but the spirit of it remains the ...