**3.840 ct.category-theory questions.**

For any spectrum $E$, there is a "discrete" topos spectrum $(Spaces / E_n)_n$. And I believe any topos spectrum is a localization of a "discrete" one. Are there any "non-discrete" topos spectra?
To ...

Is there some categorical version of tetration or higher hyperoperations?
This is motivated by the fact that coproducts categorify addition of finite cardinals, and products/exponentials categorify ...

I am trying to analyze the category of algebras for the finite free commutative monoid monad, aka the finite multiset monad. This monad is frequently described as having a multiplication that takes a ...

Working in compactly generated weak Hausdorff spaces, is the category of inclusion prespectra bicomplete?
I should probably specify that by inclusion prespectra, I mean prespectra such that the ...

Let $C$ be an abelian category with enough projectives and $\underline{C}$ the stable category of $C$ that is obtained by factoring out projective modules.
When is the functor $\Omega^1 : \underline{...

Given an infinite countable group $G$, the category of unitary representations of $G$ admits direct integrals.
Namely, given a measure space $(X,\mu)$ and a measurable family of unitary $G$-reps $(H_x)...

A unidetermined contramonad is a 2-monad $T : {\cal C}\to \cal C$ such that
$T$ is contravariant, i.e. a contravariant endofunctor;
the multiplication $\mu_A : TTA \to TA$ is determined as $T\eta_A = ...

This is a crosspost of this MSE question.
In Johnstone's Topos Theory appears the following lemma.
7.41 Lemma. Let $P$ be a pseudo-point of $\mathsf C$, $X$ a $J$-sheaf on $\mathsf C$, and $x,y$ two ...

Let $F_0 : C \to D$ be a functor. If it exists, let $G_0 : D \to C$ be its left adjoint. If it exists, let $F_1 : C \to D$ be its left adjoint. And so forth. In situations where the infinite ...

I get to know about it form Mark Gotay's work An exterior differential system approach to the Cartan form, in that paper he defined the canonical Lepagean equivalent. The following is cited from it:
...

Presheaves are contravariant functors from a category $C$ to the category $Set$, that is functors $P$:
$$P:C^{op}\to Set.$$
For every topology $J$ on $C$ we can generate a reflexive subcategory
$$Sh(...

Let $\Lambda^n_0 \hookrightarrow \Delta^n$ be a left horn inclusion for $n>1$. Then consider $\mathfrak{C}(\Lambda^n_0)\hookrightarrow \mathfrak{C}(\Delta^n)$, and we have a cofibration $[1]_{\...

Let $j: A \to B$ be a fully faithful functor.
When $j$ has a left adjoint $L$, the codensity monad $\text{Ran}_jj$ will coincide with the monad $jL$ and thus will be idempotent, because $A$ is ...

Let $j: A \to B$ be a functor.
When $j$ has a left adjoint $L$, the codensity monad $\text{Ran}_jj$ will coincide with the monad $jL$. Since a left adjoint preserves all colimits, it is easy to ...

A Grothendieck's universe is such a set $U$ so that
$\forall x \in U, x \subseteq U$,
$\forall x,y \in U, \{x,y\} \in U$,
$\forall x \in U, \mathcal{P}(x) \in U$,
given a family $(X_i)_{i \...

Let $A,B$ be complete Boolean algebras and $\varphi,\psi:A\rightarrow B$ be
maps preserving $0,1$, and arbitrary joins and meets. Let $C$ be the equalizer of these two; so $C=\left\{a\in A:\varphi(a)=...

The 0-sphere $S^0$ is the coproduct of two points,
$$S^0 \simeq \ast \coprod \ast$$
How to define 0-sphere in a category with zero object?
Let $\mathcal{C}$ be a category. A cylinder, $\mathbf{I}$, ...

There are standard notions of "surjections" and "embeddings" of toposes. However, not every surjection is an epimorphism, and not every regular monomorphism is an embedding. (EDIT: as Alexander ...

The name pretty much says it all: there's a well-defined operation on categories equivalent to modules over some ring: if $\mathcal{C}_1=A\operatorname{-mod}$ and $\mathcal{C}_2=B\operatorname{-mod}$, ...

I am trying to understand direct limits in the category of $C^*$-algebras by self reading. My last question was also related to direct limits. Here is another of my doubts:
Let $(A_n,f_n)$ be a ...

Background: Let $\mathbf{Lat}$ be the 2-category of lattices which can be viewed as a subcategory of the 2-cateogry of posets $\mathbf{Pos}$, that is, objects in $\mathbf{Pos}$ that have all finite ...

In a 1981 talk, RenĂ© Guitart cites Albert Burroni as having given "A first interesting example of a mixed sketch...for the category of topological spaces" in 1970. This was apparently done in Burroni'...

I use the notation of this question. A non-decreasing continuous bijection from $[0,a]$ to $[0,b]$ where $a,b\geq 0$ are two real numbers is denoted by $[0,a] \cong^+ [0,b]$. If $\phi:[0,a]\to U$ and $...

This question was posted on MSE and got very little attention, so I'm also posting it here.
Let $\mathcal{C}$ be a closed symmetric monoidal category and let $PSh(\mathcal{C}):=Fun(\mathcal{C}^{op}, \...

Conjugate vertices in a graph1 or conjugate elements of a group2 are equivalent (indistinguishable, essentially the same) in one specific structural sense.
Isomorphic objects in a category are ...

A Quadratic-Linear-Constant (QLC) algebra $U$ is an algebra which can be written as $T(V)/P$ where
$T(V) = \bigoplus_{n \in \mathbb{N}} V^{\otimes n}$ is the tensor algebra
and $P \subseteq k \oplus ...

Precisely, if an R-module M has a finite presentation, and Rk → M is some unrelated surjection (k finite), is the kernel necessarily also finitely generated?
Basically I want to believe I can ...

Consider a functor $F : \mathbf{Rel} \to \mathbf{Rel}$ that is monotonic (for all relations $R$ and $S$ with $R \subseteq S$ we have $FR \subseteq FS$). Does such a functor always preserve conversion ...

I am trying to figure out an axiomatization for Reedy categories such that the product of representables admits a shuffle decomposition. Cisinski suggested imposing a condition, which we will state ...

The definition of a (pre)regular skeletal Reedy category in the sense of Cisinski generalizes the intuition behind the Eilenberg-Zilber factorization for simplicial sets, specifically the property ...

In this post, I was introduced to the monad of finitely supported measures.
$HX$ is the set of finitely supported measures on $X$, with monad structure defined as for the Giry monad.
I have three ...

If topology were invented for algebraic geometry or logic, in ignorance of Euclidean space, we might reasonably regard connected compact Hausdorff spaces as pathological, or even doubt their existence....

Question
Suppose there is a bijection between the underlying sets of two finite groups $G, H$, such that every subgroup of $G$ corresponds to a subgroup of $H$, and that every subgroup of $H$ ...

Often in topos theory, one starts with a geometric morphism $f: \mathcal Y \to \mathcal X$, but quickly passes to the Grothendieck fibration $U_f: \mathcal Y \downarrow f^\ast \to \mathcal X$, which ...

Disclaimer: I wasn't sure if this was an appropriate question for MathOverflow, and so I've also asked this on StackExchange.
There appears to be a discrepancy in the literature regarding the ...

Let $\mathcal{K}$ be a category.
Prop 1. If $\mathcal{K}$ has a (strong) generator then there is a faithful (and conservative) functor $U: \mathcal{K} \to \text{Set}$ preserving connected limits.
...

I'm having trouble understanding why the "essential image" is defined the way it is.
The nlab article gives the following definition:
(A concrete realization of) the essential image of a functor $...

I have been self-studying category theory (mostly from Lawvere and Schanuelâ€™s Conceptual Mathematics). In my experience in undergraduate mathematics, many one or two quarter classes in mathematics ...

Let $G$ be a connected, undirected multigraph, without loops.
Let $L_G = D_G - A_G$,
where $D_G= diag (val (v_1), \ldots , val (v_n) )$ where $n$ is the no. of vertices of $G$ and $val (v_i)$ ...

In his 1982 book Statistical Decision Rules and Optimal Inference, N. N. Cencov studies statistical models (parametrized families of probability distributions) from an unconventional category-...

This is a question concerning the proposition 11.4.8 of P.Hirschhorn's book Model categories and their localizations.
The proposition 11.4.8 is an analogous, in my opinion, to the well known ...

I am back again, trying to compute a (Co)Monad, or bimonad as they are called. In particular, I want to define a functor along with a collection of natural transformations that form both a monad and ...

I am interested in comparison of homotopy pullback squares in the category of simplicial sets with respect to Joyal' model structure and Quillen's one.
Suppose we are given a (strict) pullback square
...

I was thinking about the definition of higher homotopy groups $\pi_n$ of a topological space in comparison to the common extremely formal fundamental groupoid construction of $\pi_1$. I'd like to be ...

The Freyd-Mitchell embedding theorem is a very useful tool for dealing with small abelian categories. However, it does not allow to use "elements" of objects of an abelian category $A$ in those ...

Let $\mathcal{C}$ be a category equipped with a Grothendieck topology $\tau$, i.e., a site.
Under which conditions on $\mathcal{C}$ can one construct a Borel $\sigma$-algebra, $\sigma_\tau$, for $\...

- higher-category-theory
- at.algebraic-topology
- ag.algebraic-geometry
- reference-request
- homotopy-theory
- topos-theory
- monoidal-categories
- homological-algebra
- model-categories
- lo.logic
- simplicial-stuff
- set-theory
- gn.general-topology
- sheaf-theory
- monads
- rt.representation-theory
- gr.group-theory
- ra.rings-and-algebras
- infinity-categories
- adjoint-functors
- limits-and-colimits
- abelian-categories
- ac.commutative-algebra
- soft-question
- triangulated-categories