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

learn more… | top users | synonyms

2
votes
0answers
84 views

Do the algebras for a $\infty$-monad form a stable $\infty$-category?

I'm wondering if a monad $T$ on a stable $\infty$-category $\cal C$ has a stable $\infty$-categories of algebras, provided $T$ preserves finite limits/colimits. Is this true?
2
votes
0answers
581 views

The link between the subfactors and the motives as enriched Galois theories? [closed]

On 29th March 2007, at the "École normale supérieure" of Paris, the mathematician Vaughan Jones, gave a conference (in French) entitled "Les sous-facteurs : une théorie de Galois enrichie" (see here), ...
6
votes
0answers
82 views

Fibrations of the injective model structure on G-simplicial sets

Let $G$ be a discrete group. Consider the category of $G$-simplicial sets endowed with the injective model structure, i.e. cofibrations are the injective maps and weak equivalences are the maps which ...
7
votes
1answer
397 views

Higher vector spaces

As far as I know there are different ways to categorify the notion of vector space/module. These appear (for example) when trying to find extended TQFTs. There are at least two ways (presented at ...
5
votes
2answers
480 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
2answers
1k views

Is there a standard notation for binary relations in category theory?

In set theory, I learned that a binary relation is simply a subset of a Cartesian product. Moving on to category theory, it seems that this definition is not enough. Just as a function is no longer ...
2
votes
2answers
105 views

$(LLP(Epi), Epi)$ is a WFS on any variety of algebras

This entry in the Joyal catlab claims without proof that in a category $\bf V$ which is a "variety of algebras" the two classes $(LLP(Epi), Epi)$ form a weak factorization system. I interpret this ...
15
votes
1answer
481 views

Categorifications of Zorn's lemma

I'm wondering about categorifications of Zorn's lemma along the following lines. Lemma: if $\mathbf{C}$ is a small category in which every directed diagram of monomorphisms has a cocone of ...
3
votes
1answer
256 views

Comultiplication on Schur functors (& functions). Can it be seen from categorical perspective ?

Consider category of vector spaces. Consider functors from it to itself. They actually form an algebra - since vector spaces can be added and tensor multiplied. Question Is there co-product on this ...
30
votes
5answers
2k views

Cocomplete but not complete abelian category

This is a duplicate of the following question to which I did not receive any answer: http://math.stackexchange.com/questions/238247/complete-but-not-cocomplete-category Let $\mathfrak C$ be an ...
0
votes
1answer
168 views

Relations In Category Theory

Probably a silly question. Suppose that $C$ is a category that does not have finite Cartesian products. So we cannot define a relation on some objects to be a sub object of their Cartesian product (a ...
10
votes
2answers
606 views

If the direct image of f preserves coherent sheaves on noetherian schemes, how to show f is proper?

The other direction is well known. I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove. I am also wondering ...
1
vote
1answer
75 views

Is the extension of a quasi-functor again a quasi-functor?

Let $\mathcal A, \mathcal A', \mathcal B$ be dg-categories over a field $k$ (this assumption allows me not to derive the tensor product, I don't think it is really essential). Let $F : \mathcal A \to ...
2
votes
0answers
52 views

relations between derived categories of ind-A and A

Let $A$ be an abelian category and $indA$ be its ind category. I want to know the relations between $D^b(A)$ and $D^b(indA)$. For example, I find in another question that if $A$ is thick in $indA$, ...
6
votes
1answer
219 views

Infinite dimensional 2-Hilbert spaces

Is there a definition of an infinite dimensional 2-Hilbert space? Finite dimensional 2-Hilbert spaces have been discussed by Baez in http://arxiv.org/abs/q-alg/9609018 In the more recent paper by ...
1
vote
1answer
175 views

Concise definition of subobjects

Higher category theory tells us that it is a bad idea to identify isomorphic things. Rather, the isomorphism should belong to some additional data. Also, categorification tells us that one should, ...
3
votes
1answer
276 views

Category of modules over commutative monoid in symmetric monoidal category

Let $\left(\cal{C},\otimes ,I\right)$ be a symmetric monoidal category (not necessarily closed) and $A$ a commutative monoid in $\cal{C}$. In his DAG III (page 95), Lurie writes: In many cases, ...
2
votes
0answers
66 views

Orthogonal FS become weak FS if you switch classes

I've always been surprised by the fact that $(Epi, Mono)$ is, when possible, a strong factorization system (unique solution to lifting problems, existence of unique factorization), whereas $(Mono, ...
2
votes
2answers
161 views

Is there a general notion of a subobject generated by a subset in any concrete category?

Let $A$ be an object of a concrete category $C$ with a forgetful functor $F\rightarrow Set$ and let $S \subseteq F(A)$. Is there a general construction that gives us a subobject $\left<S\right>$ ...
7
votes
0answers
70 views

What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the Segal condition: For each $j$, the map $$ X_j \to ...
2
votes
0answers
105 views

The Karoubi model structure on Cat

I am looking for any kind of informations about the Karoubi model structure on $\bf Cat$. I discovered the presence of this structure a few months ago on the Joyal Lab and now I would like to use it ...
31
votes
2answers
1k views

Category Theoretic Interpretation of Matroids?

Hello everyone! First time poster, long time lurker here. I have a really basic question that has been bugging me for sometime. Specifically, I'm not exactly sure what the 'correct' category ...
8
votes
1answer
428 views

Reference request: Book of Linear algebra from categorical point of view

Is there any book of Linear algebra in the modern language of Category theory? I refer to the (systematic, formalist) study of the category whose objects are vector spaces and whose morphisms are ...
14
votes
7answers
3k views

why haven't certain well-researched classes of mathematical object been framed by category theory?

Category theory is doing/has done a stellar job on Set, FinSet, Grp, Cob, Vect, cartesian closed categories provide a setting for $\lambda$-calculus, and Baez wrote a paper (Physics, Topology, Logic ...
8
votes
1answer
334 views

Deligne's exterior power

In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism $$p : A^{\otimes n} \to A^{\otimes n}, ...
2
votes
0answers
95 views

Do all full exceptional sequences of a triangulated category have the same length?

Let $\mathcal{D}$ be a $k$-linear triangulated category and $\langle E_n,E_{n-1},\ldots, E_0\rangle$ be a sequence of objects of $\mathcal{D}$. We call $\langle E_n,E_{n-1},\ldots, E_0\rangle$ an ...
10
votes
1answer
642 views

Reference request: Book of topology from “Topos” point of view

Question: Is there any book of topology in the modern language of topos theory? Motivation: In "Sheaves in Geometry and Logic" Mac Lane and Moerdijk say: "For Grothendieck, topology became the ...
1
vote
1answer
316 views

Are these two “FUNCTORS” adjoint?

I am considering the following correspondence: Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...
2
votes
0answers
89 views

Pseudomodules, “general coherence theorem”

A pseudomonoid is defined within a monoidal bicategory. It is like a monoid in a monoidal category except that the usual axioms hold up to coherent invertible 2-cells. Pseudomonoid is like a monoidal ...
1
vote
1answer
101 views

Are the pullback functors of adjoint functors also adjoint?

Given adjoint functors $F: A \to B$, $G: B \to A$, if you then take their pullback functors $F^* : Set^B \to Set^A$ and $G^* : Set^A \to Set^B$ given by pre-composition, are these two also adjoint ...
7
votes
3answers
467 views

In the category of sets epimorphisms are surjective - Constructive Proof?

The statement that surjective maps are epimorphisms in the category of sets can be shown in a constructive way. What about the inverse? Is it possible to show that every epimorphism in the category ...
23
votes
2answers
1k views

Existence of dg realization for 6 functors

Is there a way to lift 6 functors on constructable sheaves to the dg world?
7
votes
1answer
326 views

Why $( \infty , n)$-categories are useful for?

I know that mathematicians are trying to construct adequate models for $( \infty, n)$-categories. Although, it seems to be an interesting task, I would like to know some explicity examples where this ...
14
votes
13answers
3k views

Category theory sans (much) motivation?

So I have a friend (no, really) who's taking algebra and is struggling to gain intuition for it. My story is as follows: I used to hate abstract algebra, with pretty much a burning passion, until I ...
11
votes
0answers
660 views

Non-“weakly group theoretical” integral fusion categories?

Is there an integral fusion category of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices? $\small{\begin{smallmatrix} 1 & ...
2
votes
1answer
91 views

From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

Given a Lie group $G$ and a transitive action $- \triangleright - : G \times X \to X$ on a homogeneous space, we can recover the stabiliser subgroup $H_x$ of a point $x \in X$. It is the subgroup of ...
9
votes
2answers
1k views

What is the relationship between t-structure and Torsion pair?

I am away from Torsion theory in abelian category for some while. So it might be a stupid question. The definition of a torsion pair in the category of modules is as follows: Definition: A pair ...
5
votes
3answers
170 views

Locally finite varieties which are not finitely generated

Let $\Sigma$ be a signature consisting of operations with finite arity. Let $\mathcal{V}$ be a variety of algebras for this signature. Further suppose that $\mathcal{V}$ is locally finite i.e. every ...
3
votes
1answer
77 views

Existence of ind-right adjoint functor for semi-simple category?

I'm just reading a lemma in Yves ANDRE's seminar on finite dimensional motives. Soit $Σ:Rep_F G→T$ un ⊗-foncteur vers une categorie F-tensorielle T …… where $G$ is a pro-reductive group scheme, ...
5
votes
0answers
134 views

Tannakian formalism for topological Hopf algebras

Tannaka-Krein duality allows, under the appropriate assumptions, to reconstruct a Hopf algebra from its category of modules. This method was found to be powerful for instance in the work of ...
8
votes
0answers
127 views

Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category. For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...
5
votes
1answer
184 views

How to show twisted complexes over a DG category is again a DG category?

In Bondal and Kapranov's paper enhanced triangulated categories, a twisted complex over a DG category $A$ is a set $\{(E_i)_{i\in \mathbb Z}, q_{ij}: E_i\to E_j\}$, where $E_i$ are objects in $A$, ...
25
votes
9answers
1k views

Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful? I have a vague idea of the possibility of ...
0
votes
1answer
138 views

Can a smooth function on a cross be extended to the whole plane?

Consider a real function on the union of two lines R×0 and 0×R in R² whose restrictions to R×0 and 0×R are smooth functions R→R. Is it possible to extend this function to a smooth function on R²? ...
4
votes
0answers
203 views

Commutation of simplicial homotopy colimits and homotopy products in spaces

Edit: The claim below is wrong, as explained in the comments, because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...
2
votes
2answers
346 views

Categories with binary relations as objects

For the category of functions, pairs of functions making commutative diagrams are the canonical morphisms $\alpha:f\rightarrow g$. For binary relations there is an alternative, to consider the ...
3
votes
0answers
137 views

Categorical characterization of closed imbeddings

Let $f\colon X\to Y$ be a morphism of schemes. Let $F_X$ and $F_Y$ be the contravariant functors from the category $Sch$ of schemes to the category of sets defined via the Yoneda construction, i.e. ...
2
votes
1answer
65 views

Pivotal functors of that are substantially different from finite group homomorphisms

Fusion categories can be seen as generalisations of the representation category of finite groups. I'm interested in spherical fusion categories. I'm trying to find "interesting" functors from a ...
2
votes
1answer
271 views

Cartesian closed category

Let $\bf{C}$ be a category with finite products. (1) An object $X$ of $\bf{C}$ is called cartesian if the functor $(-)\times X$ has a right adjoint. (2) A morphism ...
2
votes
0answers
51 views

Are regular epi of locale stably epic?

It is well know that the category of locale is not a regular category, that is the pullback of a regular epimorphism is not always a regular epimorphism: for example, the classical counterexample ...