**7**

votes

**1**answer

178 views

### Can any object in a presentable category be written as a colimit of generators?

Let $\mathcal{C}$ be a presentable category, and let $S$ be a set of objects such that $S$ generates $\mathcal{C}$ under colimits, i.e., such that the smallest cocomplete subcategory of $\mathcal{C}$ ...

**-3**

votes

**0**answers

77 views

### What is the full subcategory of $\it{Cat}$ consisting of categories $\mathbb{C}$ where $\mathsf{ob}(\mathbb{C}) = \mathsf{arr}(\mathbb{C})$ hold? [on hold]

Let $\it{Cat}'$ be the full subcategory of $\it{Cat}$ such that
$ \mathsf{ob}(\it{Cat}') = \{ \mathbb{C} \in \it{Cat} \mid \mathsf{ob}(\mathbb{C}) = \mathsf{arr}(\mathbb{C}) \}$.
The questions are as ...

**2**

votes

**0**answers

79 views

### Isomorphic subcategories of directed graphs and presets

For the purposes of this post, a digraph (directed graph) has neither loops nor multiple parallel edges, and a preset is an ordered pair consisting of a set $S$ and a preorder (viz., a reflexive and ...

**-1**

votes

**0**answers

151 views

### Question about Lusternik-Schnirelmann Category?

I have this sets: $\Omega\subset \mathbb{R}^N, N\geq 3$ a smooth bounded domain
$\Omega_{r}^+=\{x\in \mathbb{R}^N, d(x,\Omega)\leq r\}$ and ${\Omega}^-_{r}=\{x\in \Omega, d(x,\partial\Omega)\geq ...

**2**

votes

**2**answers

134 views

### Given functors $F$ and $G$, does $\mathrm{Res}_F \cong \mathrm{Res}_G$ imply $F \cong G$?

Assume $F, G : \mathbf C \to \mathbf D$ be functors. Denote by $\widehat{\mathbf C} = \mathrm{Fun}(\mathbf{C}^{\mathrm{op}}, \mathbf{Set})$ the category of presheaves of sets on $\mathbf C$. Then, $F$ ...

**2**

votes

**0**answers

46 views

### Is a concretely reflective full concrete subcategory necessarily finally dense?

On p.371 of "The Joy of Cats", by J.Adamek H.Herrlich and G.E.Strecker:
Proposition 21.32
If a topological category $(\mathbf{A},U)$ is a finally dense full concrete subcategory of $(\mathbf{B},V)$, ...

**6**

votes

**2**answers

140 views

### How are the Walker-Wang TQFT and the Crane-Yetter TQFT related?

Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original ...

**2**

votes

**1**answer

327 views

### Do hom-sets really live in the category Set?

This isn't really a research-level question (sorry!), but I asked on
math.se (link), and though the question was upvoted a few times, I didn't
get any answers. So since there may well be more ...

**12**

votes

**7**answers

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

**7**

votes

**1**answer

312 views

### Is the functor of points of a scheme cofinally small?

Background: In functorial algebraic geometry one would like to consider the category of all functors $\mathsf{CRing} \to \mathsf{Set}$ and define/characterize the category of schemes as a full ...

**-1**

votes

**0**answers

38 views

### When is it possible to interpret composition as a natural transformation? [migrated]

First note that for any objects $X$, $Y$, and $Z$ in a category $C$, we can get a morphism $\bigcirc: Z^Y \times Y^X \rightarrow Z^X$ as following. We define $\bigcirc$ as $\lambda (eval_{Z^Y} \circ ...

**4**

votes

**3**answers

748 views

### A categorical method to, say, determine the cardinality of a group

I am trying to figure out how much one can figure out about an object using category theory. Ideally, any property that is well defined up to isomorphism should be computable using only category ...

**4**

votes

**2**answers

263 views

### Has this construction, which builds a symmetric multicategory from a commutative monoid, been described or studied anywhere, and if so, where?

Whenever $R$ is a commutative ring, write $R[x^{(n)}]$ for the set of all $p \in R[x]$ such that $p$ is a monic polynomial of degree $n$. Then $R[x^{(n)}]$ is not closed under sums, nor does it ...

**3**

votes

**1**answer

417 views

### A naive question about SGA4

Can someone explain to me the meaning of remark 1.1.2 at the begining of SGA4.1?
It says that if $C$ is a category that belongs to some universe $U$ (which I understand as "$\mathrm{Ob}(C)$ and ...

**1**

vote

**0**answers

99 views

### Construction of Yoneda extension (repost)

This is a reposted question to pull a bit more attention. I unfortunately could not find a detailed construction of the Yoneda extension in literaure, namely, its action on morphisms.
In "Category ...

**2**

votes

**0**answers

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

**4**

votes

**2**answers

152 views

### Colimit density and monads

Let $C$ be a cocomplete category, and suppose that it has an object that is colimit dense. Is $C$ automatically monadic over $Set$? And if not, is there an explicit counterexample?

**1**

vote

**0**answers

55 views

### Getting a measure from a premeasure through an adjoint

Let's take the category of measure spaces with objects $(X,\mathcal{F},\mu)$ and avoid the morphisms for now (I'm not sure what they should be), where $X$ is a set, $\mathcal{F}$ is a ...

**2**

votes

**1**answer

143 views

### Reference for “multi-monoidal categories”

I have attempted to find a definition of a monoidal category which incorporates $n$-fold tensor products instead of just binary tensor products.
Definition. A "multi-monoidal category" consists of
...

**11**

votes

**3**answers

855 views

### Non-abelian Grothendieck group

By general nonsense the forgetful functor from groups to monoids has a left adjoint. It maps a monoid $(X,\cdot,1)$ to the free group on $\{\underline{x} : x \in X\}$ modulo the relations ...

**1**

vote

**2**answers

123 views

### The family of morphisms f such that Qf=identity for some functor Q

Localization of a category deals with the family of morphisms rendered invertible by a functor, i.e. the (saturated) family of weak equivalences, which I think resembles the kernel of a group or a ...

**4**

votes

**2**answers

396 views

### 2-category theory

I know that we can do a lot of 2-category theory, seeing 2-categories as Cat-enriched categories. Yet, I know that there are some limitations of this approach.
I also know that there are many articles ...

**6**

votes

**0**answers

138 views

### Correspondences as generalized morphism between $C^*$-algebras

While reading about Morita equivalence in the category of $C^*$-algebras I met also the following notion: a correspondence between two $C^*$-algebras $A,B$ is a pair $(X,\varphi)$ where $X$ is a ...

**4**

votes

**0**answers

183 views

### Reference Request for TQFTs

I had originally asked this question on Math StackExchange but have not obtained any answers, so I decided to post this here. (I have flagged the MSE post to be moved to MathOverflow, for the ...

**1**

vote

**0**answers

91 views

### The category of discontinuous Banach spaces

A banach space is discontinuous if it is isometric to $DC(X)$ for some Hausdorff topological space $X$. ($DC(X)$ is defined here. We denote by $DBan$, the category of all discontinuous ...

**6**

votes

**0**answers

172 views

### A model category for descent?

Recall that an $(\infty,1)$-category $C$ is said to have descent if for any small diagram $X:I\to M$ with (homotopy) colimit $\overline{X}$, the adjunction between $C/\overline{X}$ and "equifibered" ...

**9**

votes

**1**answer

261 views

### Example of a saturated class of morphisms which is not _obviously_ saturated?

By "saturated class of morphisms" in a category $\mathcal{C}$, I mean a subcategory $\mathcal{W} \subset \mathcal{C}$ such that the image of $\mathcal{W}$ in $\mathcal{C}[\mathcal{W}^{-1}]$ consists ...

**2**

votes

**1**answer

349 views

### Opposite Symmetric Monoidal Structure on an Infinity Category

Given an $\infty$-category (in the sense of Lurie) $C$, and a symmetric monoidal structure on $C$ associated to a coCartesian fibration $p:C^\otimes\to N(Fin_\ast)$, Lurie says in Remark 2.4.2.7 of ...

**8**

votes

**0**answers

171 views

### Retractions of Yoneda are retractors, i.e., left adjoints?

Background
It is fairly well known that if a full subcategory $i: C \hookrightarrow D$ has a left adjoint $F: D \to C$, then the canonical counit $F i(c) \to c$ is an isomorphism. (A classical ...

**6**

votes

**0**answers

108 views

### Preservation of universes in presheaves

In Lifting Grothendieck universes Hofmann and Streicher construct a universe in the category of presheaves over a small category given a Grothendieck universe in $\mathbf{Set}$.
Suppose now I have ...

**1**

vote

**0**answers

82 views

### Gluings and collages along profunctors

I'm dealing with this construction, available whenever you have two categories $\cal C,D$ and a profunctor $\varphi\colon {\cal C}\leadsto{\cal D}$ between them.
Define a category ${\cal ...

**0**

votes

**0**answers

85 views

### Distributive law between Kleisli triples

A distributive law of a monad $S$ over a monad $T$ is a natural transformation $l : T S \to S T$ such that:
$l \circ T \eta^S = \eta^S T$
$l \circ \eta^T S = S \eta^T$
$\mu^S T \circ S l \circ l S = ...

**2**

votes

**1**answer

90 views

### Kan extension pseudonatural transformations

Consider the 2-category $[S, H] $ of 2-functors $S\to H $ (in which, obviously, $S$ and $H$ are 2-categories). And consider a (possibly fully faithful) functor $T: S\to Z $
For simplicity, let's ...

**3**

votes

**3**answers

211 views

### Tensor product over a monoid in a monoidal category

nLab article on tensor product says:
"Given two objects in a monoidal category $(C,\otimes)$ with a right and left action, respectively, of some monoid $A$, their tensor product over $A$ is the ...

**25**

votes

**2**answers

667 views

### Cantor's theorem for presheaves?

Some years back (before MathOverflow was born), Tom Leinster asked an interesting question at the $n$-Category Café which I don't recall ever seeing an answer for:
Does there exist a ...

**2**

votes

**2**answers

542 views

### What's so special about $1$-categories?

I have been pretty thoroughly convinced for some time now that, when thinking about mathematics, one really should be thinking 'categorically', that is, one should always be thinking of the morphisms ...

**3**

votes

**1**answer

234 views

### A More Advanced Version of Aluffi's Chapter 0

This is a crosspost of this question from MSE.
Paulo Aluffi's Book, Algebra, Chapter 0 aims to teach basic algebra from a categorical viewpoint. The first chapters of the book, however, introduce ...

**1**

vote

**1**answer

43 views

### Retractions and left-factoring morphisms

Let $\mathcal{C}$ be any category and let $A, B$ be objects.
A retraction is a morphism $r: A\to B$ such that there is $s:B\to A$ such that $r\circ s:B\to B$ is the identity.
A morphism $l: A\to B$ ...

**1**

vote

**0**answers

66 views

### (Affine) Schemes and the point of view of morphisms with values in a field

Let $A$ be a commutative ring with unity. If $\varphi_1 : A \rightarrow K_1$ and $\varphi_2 : A \rightarrow K_2$ are ring morphisms from $A$ to fields, $\varphi_1$ and $\varphi_2$ are said to ...

**6**

votes

**1**answer

362 views

### What is the universal property of quotienting a normaliser of the subgroup?

Let $G$ be a group, $H$ a subgroup and $X$ a $G$-set. By taking orbits $X/H = X \times_H 1$ or fixed points $X^H = \mathrm{Hom}_H(1,X)$ we obtain a set on which $H$ acts trivially, and we've destroyed ...

**2**

votes

**1**answer

64 views

### Universal and left-factoring order-preserving maps

Trying to get a different angle for the question Fixed points and universal maps for posets, I want to compare universal maps to a different kind of functions.
First recall that for posets $P,Q$ an ...

**5**

votes

**1**answer

253 views

### Existence of internal toposes/inner models in a topos

It has been known for some time that one can define a topos as a model of a (finitary) essentially algebraic theory (or in other words, can be defined internal to any category with finite limits). In ...

**2**

votes

**1**answer

170 views

### A Category-ish Structure with Morphism Domains containing Multiple Objects?

I am working on formalizing software design using category theory.
However the most natural way for me to express what I want is with a Category where multiple morphisms can join into a single ...

**4**

votes

**1**answer

183 views

### To what extent are homotopy colimits over a weakly contractible category “determined by local data”?

[I'd be very happy for a better question title, if anyone has any suggestions.]
I have a category $C$, two functors $F,G : C \to \mbox{Cat}$, a natural transformation $\alpha : F \to G$, and a ...

**2**

votes

**0**answers

80 views

### Pre-Order induced by continuous functions

I'm an newbie in category theory, but I want use it to solve a pre-order question I encountered in my research:
Let $X$ be a convex&compact subset of $\mathbb{R}^n$. $f,g: X \rightarrow [0,1]$ ...

**9**

votes

**0**answers

181 views

### Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...

**4**

votes

**2**answers

266 views

### Can one make a category concrete by “enlarging the universe”?

This is more or less a followup of this question. There, it was established that (it is well known that) the homotopy category of topological spaces is not concrete, in other words, there is no ...

**3**

votes

**1**answer

129 views

### Model bicategories

From a conceptual point of view, the notion of a "model bicategory" is clear: a complete, cocomplete bicategory where there are two "very weak" factorization systems, where the commutativity of the ...

**7**

votes

**1**answer

483 views

### The (un)reasonable (non-)ubiquity of the Grothendieck construction

Is there a way to export the Grothendieck construction to different contexts than $Cat$? in theory, if you build $\int F$ out of $F\colon \mathcal C\to Cat$, or $F\colon \mathcal C\to Sets$, as a ...

**8**

votes

**1**answer

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