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

47
votes
11answers
3k views

Why is Set, and not Rel, so ubiquitous in mathematics?

The concept of relation in the history of mathematics, either consciously or not, has always been important: think of order relations or equivalence relations. Why was there the necessity of singling ...
5
votes
2answers
200 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 ...
15
votes
7answers
850 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 ...
6
votes
2answers
290 views

A continuous notion of realizability

I have been interested in non-classical logics, off and on, for quite a while. This question is probably very basic, and I hope it is not too low-level for MO. My question stems from an attempt to ...
5
votes
0answers
95 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)$? ...
8
votes
2answers
431 views

Modern versions of Verdier's hypercovering theorem?

Let $\mathcal{C}$ be a small category equipped with a terminal object $1$ and a Grothendieck topology. (Assume $\mathcal{C}$ also has pullbacks, if it is more convenient.) The following is a ...
-3
votes
0answers
69 views

biproduct and tensorial product [on hold]

Let $\mathcal{C}$ be a monoidal abelian category. Let A,B, C $\in$ $\mathcal{C}$.There is an isomorphisms between this objects? (A$\bigoplus$B)$\otimes$C; A$\otimes$(B $\bigoplus$C)
2
votes
1answer
114 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 ...
21
votes
3answers
1k views

t-structures and higher categories?

I'm curious to find out where the viewpoint of higher categories may be useful so here is a somewhat vague question (which may or may not have a reasonable answer). Given a triangulated category, one ...
4
votes
1answer
209 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 ...
1
vote
0answers
233 views

Which are the constructs utilizing certain morphisms? [closed]

It seems to be a fact that most mathematical constructs have canonical morphisms. In some cases, nevertheless, there is a choice between several different classes of morphisms. I found my way to ...
0
votes
2answers
83 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 ...
8
votes
6answers
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 ...
7
votes
3answers
303 views

Koszul duality for modular operads

Has anyone defined what it means for a modular operad to be Koszul, or what the Koszul dual of a modular operad is? In particular, is it meaningful to say that a modular operad is quadratic? Merkulov, ...
2
votes
3answers
133 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 ...
5
votes
3answers
364 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 ...
6
votes
3answers
858 views

Do Disjoint Unions and Fiber Products Commute?

Do disjoint unions and fiber products commute? In other words, is the following statement true? Statement: Let $C$ be a category with (infinite) coproducts and fiber products. Let {$U_{i}$} be a ...
7
votes
1answer
413 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. ...
5
votes
2answers
455 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 - ...
4
votes
2answers
190 views

What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth Infinitesimal Analysis?

In certain intuitionistic frameworks the extreme value theorem cannot be proved. Depending on the exact framework, counterexamples can be constructed as well; see for example pp. 294-295 in ...
8
votes
1answer
332 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 ...
1
vote
0answers
57 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
137 views

Directed subposet of a poset containing the minimal elements

The following appears naturally in a certain context: Let $P$ be a partially ordered set which is bounded below in the sense that for each $x\in P$ there is a minimal element $m$ with $m\leq x$. Let ...
5
votes
0answers
249 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 ...
5
votes
2answers
291 views

When is/isn't the monoidal unit compact projective?

I am interested in developing intuition for when the monoidal unit in a closed monoidal abelian category is or isn't compact projective. As such, my question is not looking for a yes/no answer, but ...
0
votes
0answers
69 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) ...
2
votes
1answer
133 views

Algebraic objects and lifts of their represented functors

I've seen the following theorem around in various forms: To give an object $A \in \mathcal{C}$ the structure of a $\Omega$-algebra object in $\mathcal{C}$ is equivalent to giving a lift of the ...
3
votes
2answers
332 views

Zigzags and contractibility of categories

Let $\mathbf{C}$ be a small category and $\mathbf{C}'$ its hammock localization in the sense of Dwyer and Kan. I am looking for a proof (or counterexample) of the following assertion: If there is ...
1
vote
0answers
68 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 ...
3
votes
0answers
120 views

Derived Functors, Projection Formula and Base Change in the Derived $\infty$-Category

Let $X$ be a smooth stack and $\mathcal O_X$ the ring of smooth functions on $X$, i.e. for any smooth $M \to X$, $\mathcal O_X(M \to X) = C^\infty(M)$. In HigherAlgebra, the derived category ...
3
votes
0answers
67 views

Lifting commutative diagrams of functors from the homotopy level to the “higher” level

Let $\mathcal A$ and $\mathcal B$ be differential graded categories over a field. Let $F, G, K : \mathcal A \to \mathcal B$ be quasi-functors (see here for definitions). Assume you have morphisms of ...
0
votes
0answers
65 views

Linkage between homotopy equivalence and identification of algorithms

I vaguely recall that someone says there is linkage between homotopy equivalence and identification of algorithms which may be isomorphic or morphism or something like that,the algorithm may be ...
2
votes
0answers
92 views

When do limits and colimits of infinity-categories commute?

This is a question for someone who read (or wrote) enough of Lurie's HTT to know a reference. Suppose $D,E$ are small "diagram" $(\infty,1)$-categories, and $\mathcal{C}$ is a stable infinity-category ...
5
votes
0answers
139 views

Can we “complete” model categories to compute derived functors in the usual way?

Suppose we have a functor between two model categories $F\colon \mathcal{C}\to \mathcal{D}$. Suppose we don't know that it is a part of a Quillen pair. Nevertheless, it can still happen that the ...
19
votes
32answers
1k views

Formalizations of category theory in proof assistants

What are the existing formalizations of category theory in proof assistants? I'm primarily interested in public-domain code implementing category theory in a proof assistant (Coq, Agda, ...
1
vote
0answers
95 views

right adjoint functor for closed immersion of topoi

Let $i\colon (X,A)\rightarrow (Y,B)$ be a closed immersion of ringed topoi. Does functor $i_*\colon Mod(A)\rightarrow Mod(B)$ have a right adjoint?
10
votes
4answers
804 views

Why is a monoid with closed symmetric monoidal module category commutative?

Given a symmetric monoidal category and a monoid object A in it, one can form the category of modules over this monoid object, i.e. objects are $A \otimes M \rightarrow M$ satisfying the natural ...
1
vote
1answer
256 views

Category which has no non-trivial adjoint functors

Does there exist a category C which such that there is no functor $F:C \rightarrow D$ with $D\not\cong C$ which has a left (or right) adjoint?
3
votes
1answer
174 views

A general theory of quasi-functors, generalizing from dg-categories to $\mathcal V$-categories, with $\mathcal V$ monoidal model category

I employ the vast majority of the post to develop the notion of quasi-functor between dg-categories: I think it is important to get the idea. Let $k$ be a field, and let $\mathcal V =\mathbf C(k)$ ...
6
votes
1answer
191 views

The category of categories and adjunctions

What is known about the category that has small categories as objects and adjunctions as morphisms? Obviously, it has neither terminal nor initial objects. But what about other kinds of limits? Are ...
1
vote
1answer
86 views

Taking zeroth cohomology of a dg-module over a dg-category is “good” on representables, but probably “bad” on cones

This question is possibly related to this other one. Let $\mathcal A$ be a dg-category over a commutative ring $k$. I denote by $\text{dgm-}\mathcal A$ the dg-category of right dg-$\mathcal ...
0
votes
0answers
76 views

(Homotopy) limits and colimits in a dg-category

It is known that differential graded categories (or, also, $A_\infty$-categories) are 'incarnations', in some sense, of (stable) $(\infty,1)$-categories. I'm not used to the theory of ...
1
vote
0answers
35 views

Reconstructing an isomorphism of exact triangles in the homotopy cat. of a dg-cat. using a functorially induced isomorphism between cones

This question is strictly related to this other one. Let $\mathcal A$ be a (strongly) pretriangulated dg-category over a field $k$. Let be a diagram in $Z^0(\mathcal A)$, where the rows are ...
2
votes
3answers
1k views

Derived functor

Let $F:A\longrightarrow B$ be a left exact functor of Abelian categories. My question is about the derived functor $RF: D(A)\longrightarrow D(B)$. Let $X$ be an object of $A$. If $0\longrightarrow ...
5
votes
2answers
1k views

Generalized Categories for “Higher Homotopy Groupoids”

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 ...
6
votes
1answer
279 views

[Reference Request] The Definition of Adjoint Functors between dg-categories

Let $A$ and $B$ be two dg-categories, $F: A \rightarrow B$ and $G: B \rightarrow A$ are two functors. Then what is the definition that $F$ and $G$ form an adjoint pair? In my mind $F\dashv G$ ...
3
votes
1answer
92 views

Reconstructing a morphism of exact triangles in the homotopy cat. of a dg-cat. using a “functorial cone map”

I set this problem in the framework of (pretriangulated) dg-categories; everything can probably be translated in the world of stable $(\infty,1)$-categories. Let $\mathcal A$ be a pretriangulated ...
4
votes
2answers
165 views

Serre functor of a subcategory (in particular parabolic category O)

For an additive category $\mathcal C$ there is the notion of a Serre functor on $\mathcal C$, i.e. a an autoequivalence $S$ of $C$ such that there exist isomorphisms $$Hom(A, S(B)) \cong Hom(B, A)^*$$ ...
4
votes
2answers
190 views

An orthogonal factorization system on 1-Cob?

Let $1-Cob$ denote the category of oriented 0-manifolds and oriented cobordisms between them. If $W:A\to B$ is a cobordism, i.e. $\partial W\cong A+B$, we write $i^W_{dom}:A\to W$ and $i^W_{cod}:B\to ...
3
votes
1answer
92 views

weak version of a Baez-Crans 2-vector space?

Baez and Crans defined a 2-vector space to be a category internal to the category of vector spaces (say over the reals). I am interested in categories that are equivalent to Baez-Crans vector spaces ...