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

4
votes
2answers
105 views

Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ ...
12
votes
3answers
449 views

Characterize the category of rings

(Sub)categories of many well-studied mathematical objects have been characterized purely in terms of their morphisms. Some (famous) examples: Sets and functions, due to Lawvere. Modules over some ...
8
votes
1answer
185 views

A linear category with objects of infinite length but which is otherwise finite?

Fix a ground field $k$. By a linear category I will mean an Abelian category which is compatibly enriched over $k$-vector spaces. A linear category is called finite if it satisfies the following four ...
1
vote
0answers
80 views

Finitely co/continuous monad induced by an operad

It is well known that any operad on a nice monoidal category induces a monad. I was wondering which conditions can be imposed on the operad $T$ (say, in a monoidal closed $\cal V$) so that the ...
3
votes
1answer
166 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$-category of algebras, provided $T$ preserves finite limits/colimits. Is this true? Edit: Is something ...
6
votes
0answers
87 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
501 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 ...
2
votes
2answers
107 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 ...
0
votes
1answer
178 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 ...
2
votes
0answers
53 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$, ...
1
vote
1answer
189 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, ...
1
vote
1answer
76 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
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, ...
7
votes
0answers
71 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
106 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 ...
2
votes
2answers
162 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>$ ...
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 ...
8
votes
1answer
340 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}, ...
7
votes
1answer
331 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 ...
5
votes
0answers
136 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) ...
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, ...
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
204 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 ...
1
vote
1answer
320 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 ...
10
votes
2answers
607 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 ...
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. ...
3
votes
1answer
280 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
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 ...
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 ...
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
0answers
65 views

Why does $\pi_t$ preserve pullbacks in this special case?

Let $X$ be a fibrant pointed cosimplicial space. Following Bousfield-Kan, let $\text{lim}^{\partial \Delta_{n+1}} X = M^{n}X$ be the nth matching object of $X$. Onecan then show that there is a ...
4
votes
2answers
320 views

Aspheric functors and Grothendieck fibrations

Following Grothendieck, let us say that a category is aspheric if its nerve is weakly contractible and a functor $u : \mathcal{A} \to \mathcal{B}$ is aspheric if for every object $b$ in $\mathcal{B}$, ...
2
votes
0answers
109 views

Internal categories in an endofunctor category

Here we see the definition of an internal category in a monoidal category. We also know that endofunctor categories support a monoidal product which is actually functor composition. It is the case ...
10
votes
1answer
645 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
3answers
344 views

Is there a general notion of semigroup action?

The analogous result to Cayley’s theorem or Yoneda lemma in semigroup theory represents semigroups as semigroups of functions from a set to itself. This suggests that a semigroup action consists of a ...
2
votes
2answers
349 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 ...
5
votes
0answers
127 views

Compact objects and ind-objects in triangulated categories

question : let $A$ be triangulated category compactly generated by subcategory $A^c$ of compact objects. Consider category of ind-objects $Ind(A^c)$. Is there relation between $A$ and $Ind(A^c)$? ...
5
votes
2answers
233 views

What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum as monoidal product exist?

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the ...
2
votes
1answer
135 views

what is the stabilization of pointed sets?

Given a(n $\infty$-)category, there is a process called "stabilitazion" which spits out a stable $\infty$-category (as one can read about in either Higher Algebra or the nlab). The famous example is ...
4
votes
1answer
220 views

Higher Degree Data in a Cosimplicial Quasicategory and Delooping

If there is a short answer to this question and someone can write it here that'd be wonderful, but if it's longer, I'm also perfectly happy with a reference. My question is regarding accessing data ...
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 ...
7
votes
3answers
476 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 ...
8
votes
1answer
374 views

Notion of infinity in categories

Please excuse me if the question is too vague or uninteresting. Let $\mathcal{C}$ be a category and $A$ an object in $\mathcal{C}$. Motivated by the equivalence of Dedekind-finiteness and finiteness ...
2
votes
0answers
90 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 ...
0
votes
2answers
84 views

a dcpo seen as a category: when does a dcpo map induce a functor with an adjoint?

Take two posets $A, B$ (partially ordered sets). Now consider these posets to be categories $Cat(A), Cat(B)$ respectively. Consider a map from $A$ to $B$, $f: A \rightarrow B$. This can be seen as ...
1
vote
2answers
159 views

Directed subposet of a poset containing the minimal elements

The following appears naturally in a certain context: Let $P$ be a graded partially ordered set. Let $M$ be the subset of minimal elements of $P$. Define subsets $E_i$ inductively as follows: First, ...
8
votes
1answer
430 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 ...
7
votes
1answer
461 views

Learning roadmap to TQFT from a mathematics perspective

I had asked a question on math.stackexchange but did not receive any answers. I hope that this question is appropriate for this website as it is about an advanced subject. Hence I am posting it below. ...
0
votes
0answers
70 views

Sharp objects and fixed points

Given an adjunction $F\colon \mathcal C \leftrightarrows \mathcal D\colon G$ I would like to call "sharp" a pair of objects $(C,D)$ if the bijection $$ \hom_{\cal D}(FC,D) \cong \hom_{\cal C}(C, GD) ...