# Questions tagged [ct.category-theory]

Categories and functors, universal properties, algebras and algebraic theories, topoi, enriched and internal categories, structured categories (abelian, monoidal, etc), higher categories.

3,951 questions
125 views

1k views

### Locally presentable abelian categories with enough injective objects

I came to the following question when thinking about the (infinitely generated) tilting-cotilting correspondence, where it appears to be relevant. Does there exist a locally presentable abelian ...
249 views

In the discussion on the nLab article for monadic adjunctions, John Baez suggests and Mike Shulman confirms that the relationship between adjunctions and monads itself constitutes an adjunction called ...
106 views

### Kleisli category with equalizers?

I was reading Hosseini's paper on "Equalizers in Kleisli Categories", yet I couldn't figure it out an example of a Kleisli category with (all) equalizers with the extra requirement of not being ...
311 views

### Lex $\infty$-colimits

In the paper lex colimits, Garner and Lack gave a general characterization of "exactness properties" for categories (and enriched categories). A "lex-weight" is a weight for colimits whose domain ...
288 views

### Explicit generating acyclic cofibrations and right properness of a model category

Let $\mathcal{C}$ be a cofibrantly-generated model category. My impression is that the following two conditions are highly correlated: $\mathcal{C}$ is right proper. There is an explicitly-...
818 views

### A multicategory is a … with one object?

We all know that A monoidal category is a bicategory with one object. How do we fill in the blank in the following sentence? A multicategory is a ... with one object. The answer is fairly ...
161 views

### Derived category of a quotient

Le $A$ be an abelian category and $B$ a Serre subcategory of $A$. Under which conditions do we have $$D^*(A/B) \simeq D^*(A)/D^*(B),$$ where $D^*$ stands for the derived category with $* = +,-,b$ or ...
93 views

### Stability of accessible $\infty$-categories under some operations

I'm reading through Higher Topos Theory, and I can't make sense of a few proofs in the sections about accessible $\infty$-categories. In Proposition 5.4.4.3, Lemma 5.4.4.2 is used, but I don't see ...
232 views

### Infinite Krull-Schmidt categories?

In a Krull--Schmidt category, if $$X_{1}\oplus X_{2}\oplus \cdots \oplus X_{r}\cong Y_{1}\oplus Y_{2}\oplus \cdots \oplus Y_{s},$$ where the $X_{i}$ and $Y_j$ are all indecomposable, then $r = s$, ...
283 views

### $\Theta$-Sets and Higher-QuasiCategories

In his well-known paper "Disks, Duality and $\Theta$-Categories, Joyal defines at the very end a $\Theta$-Category to be a cellular set suitably "fibrant". I was wondering whether someone has worked ...
583 views

498 views

### Is there any work related to Hypertype Theory? [closed]

Update: Since the question was put on hold, work on this will continue on this notebook. So long, and thanks for all the fish!   First, let me state that I am not a formally-trained ...
79 views

### The Kleisli Category of the Monad of Measures of Finite Support and its composition formula

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. Let's call this ...
277 views

### Diagonal is representable then any morphism is representable

Ariyan Javanpeykar said here in comments that, If the diagonal is representable, then isn't any morphism $S\rightarrow \mathcal{X}$ with $S$ a scheme representable? I could not find the statement (...
179 views

### Are there enough curves (to connect 'points' of f.g. algebras)?

(Intuition: any two points in a connected space may be connected by a path. I would like to know if something like this holds in certain category of `connected algebraic spaces'. I formulate the ...
1k views

### Is the category of small categories locally presentable?

I was wondering whether the various model structures on the category of small categories are combinatorial. I think that the ones I know are at least cofibrantly generated. In order to be ...
125 views

### final coalgebra of the 𝓟${_{<κ}}$(A×X) endo-functor in $Set^*$?

In the paper Coalgebraic Games and Strategies F. Honsell, M. Lenisa, and R. Redamalla use the functor $F_A$(X) = ${\mathscr{P}_{<κ}}$(A×X) to define games coalgebraically. This is a functor from ...
212 views

### Does the Eilenberg Moore Construction Preserve fibrations?

Say we have a Grothendieck fibration $p : E \to B$ and a monad $T$ on $B$ and a lift $T'$ of $T$ to $E$, i.e. a monad on $E$ such that $pT' = Tp$ and $p$ preserves $\eta, \mu$. Then because the ...
180 views

### Products, coproducts and equalizers in category of lattices

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 ...
609 views

### From tensor algebras in monoidal categories to (commutative?) monoids

Let $D$ be a monoidal category (without the structure of a symmetric monoidal category), with unit object $Id$, and let $L$ be an invertible object in $D$, so that $L$ is dualizable and the pairing ...
461 views

### Is every representable map a submersion?

Recall that a morphism $f:C \to D$ in a category $\mathscr{C}$ is representable if for all maps $g:E \to D$ in $\mathscr{C},$ the pullback $C \times_{D} E$ exists. Let now $\mathscr{C}$ be the ...
121 views

### Criterion for a sheaf $\mathfrak{S}^{op}\rightarrow (Set)$ to be representable

I am reading Differentiable stacks and gerbes by Kai Behrend and Ping Xu. Let $\mathfrak{S}$ denote the category of smooth manifolds and smooth maps. Consider Grothendieck topology given by open ...
362 views

### $\Pi$, $\Sigma$, and identity types without $\eta$ in comprehension categories

In comprehension categories, dependent sums are defined as a choice of left adjoints for all reindexing functors along display maps, satisfying a Beck-Chevalley condition. Dependent products are ...
142 views

### A question about combinatorial model categories

I am currently reading the appendices of Higher Topos Theory, and I was puzzled by Lurie's proof of lemma A.2.6.7 (I can not make sense of the end of the proof.) He uses this result to prove Jeff ...
79 views

### Relation between the inverse of a natural isomorphism and counit of an adjunction

Let $\mathcal{C}$ and $\mathcal{D}$ be two categories. Suppose that $F\colon\mathcal{C}\to\mathcal{D}$ is a functor from $\mathcal{C}$ to $\mathcal{D}$; $U\colon\mathcal{D}\to\mathcal{C}$ is a ...
Let $k$ be a field and $\mathcal{C}$ be a dg-category over $k$. It is standard to define the homotopy category $H^0(\mathcal{C})$ as the category consisting the same objects as $\mathcal{C}$ but ...