Questions tagged [enriched-category-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
7 votes
0 answers
124 views

What is the right notion of a functor from an internal topological category to a topologically enriched category?

Let $\mathcal{C}$ be a category internal to (some convenient model for) topological spaces (which I will denote by $\mathsf{Top}$). In the question Greg Arone asks: What is the correct notion of a ...
user avatar
3 votes
0 answers
20 views

Reference request for facts about bi(co)descent objects

I know the following facts are true, but I struggle to find adequate references for them: Let $T$ be a pseudo-monad in a bicategory $\mathcal{C}$, and let $A$, $B$ be pseudo-algebras for $T$. Then, ...
user avatar
  • 741
1 vote
0 answers
53 views

Tensored and cotensored simplicial comma category

To transfer a tensored and cotensored simplicially enriched structure from a category $\mathcal{C}$ to $(\mathcal{C}\downarrow Z)$, we define $(X\to Z)\otimes K$ by the composite $(X\otimes K \to X \...
user avatar
4 votes
0 answers
55 views

Constructing lax limits from lax limits

Let $K$ be a 2-category. It's well-known that if $K$ has all PIE limits, then $K$ also has all lax limits. But I don't know a general "limit-decomposition" result which works "...
user avatar
  • 49.2k
6 votes
0 answers
118 views

Examples of nonpointwise Kan extensions that "play a mathematical role"

Most Kan extensions arising in nature are pointwise, and this observation prompts Kelly to write [1]: Our present choice of nomenclature is based on our failure to find a single instance where a [...
user avatar
  • 5,035
3 votes
0 answers
66 views

Enriched categories over a semi-monoidal category

Let $\mathcal{V}$ be a semi-monoidal category, meaning it satisfies the axioms of a monoidal category except missing a unit and the unit axiom. One could then still go about defining a $\mathcal{V}$-...
user avatar
  • 31
8 votes
1 answer
443 views

What are abelian categories enriched over themselves?

As far as I understand, an arbitrary abelian category is not enriched over itself, for example, $\mathrm{ChainComplex}(\mathrm{Ab})$ is, right? On the other hand, the categories $\mathrm{Mod}(R)$ (in ...
user avatar
5 votes
0 answers
177 views

$V$-cat and $V$-graph: coequalizers in the category of enriched functors

This question is regarding the 1974 JPAA paper $V$-cat and $V$-graph by Harvey Wolff. To be precise, I don't understand a certain step in the proof of Corollary 2.9, which (the corollary) is crucial ...
user avatar
  • 1,025
8 votes
1 answer
320 views

What is the right notion of a functor from an internal topological category to topological spaces?

Let $\mathcal C=(\mathcal O, \mathcal M)$ be a category internal to topological spaces. Thus $\mathcal O$ and $\mathcal M$ are topological spaces: the space of objects and the space of morphisms ...
user avatar
2 votes
0 answers
135 views

When this coend is invariant up to homotopy?

It is a follow-up of my question Calculation of the homotopy colimit of a diagram of spaces which was badly formulated. Consider a fixed diagram $D:I^{op}\to {\rm Top}$ where ${\rm Top}$ is a ...
user avatar
2 votes
0 answers
83 views

Universal property of the V-Mat construction

Internal categories and enriched categories can both be realised as monads in certain bicategories. If $\mathcal E$ is a category with pullbacks, then a monad in $\mathbf{Span}(\mathcal E)$ is a ...
user avatar
  • 5,035
2 votes
0 answers
32 views

Determining enriched limit-preserving functors by their global sections

Let $\mathcal{C}$ be a small 1-category and let $\mathcal{M}$ be a category enriched over the presheaf category $\widehat{\mathcal{C}}$ which is complete as $\widehat{\mathcal{C}}$ enriched category. ...
user avatar
5 votes
0 answers
103 views

Are weighted limits terminal in a category of cones?

Consider a Benabou-cosmos $(\mathcal{V},\otimes,J)$, $\mathcal{V}$-categories $\mathcal{I},\mathcal{C}$ and $\mathcal{V}$-functors $\mathcal{W}:\mathcal{I} \rightarrow \mathcal{V}$ and $\mathcal{D}:\...
user avatar
6 votes
0 answers
810 views

Tannaka without Yoneda?

I am studying enriched categories, and as I wrote in my previous question How is the morphism of composition in the enriched category of modules constructed?, this is very difficult because there are ...
user avatar
5 votes
2 answers
470 views

How is the morphism of composition in the enriched category of modules constructed?

I asked this a week ago at MSE, but without success. I am studying enriched categories and I have a feeling that I am doing something wrong because all the way each step, each elementary proposition, ...
user avatar
3 votes
1 answer
210 views

When are enriched categories equivalent?

$F : \mathbf{MonCat} \to \mathbf{2Cat}$ is the 2-functor for change of enrichment. What is the maximal subcategory of $\mathbf{MonCat}$ whose arrows $b : V \to W$ each induce an equivalence of ...
user avatar
  • 375
5 votes
1 answer
249 views

Does an Ab-enriched category have a unique Ab-enrichment?

I know that the group structure on Hom sets can be recovered from biproducts if they exit. Indeed, if $f, g : A \to B$ are two maps then there is a uniquely defined map $f \oplus g : A \oplus A \to B \...
user avatar
  • 1,822
10 votes
1 answer
203 views

Structural properties of $\mathcal{V}$-$\mathsf{Cat}$

In this question $(\mathcal{V}, \otimes, e)$ is a (bi)complete symmetric monoidal category. We have an adjunction $$\mathscr{l}: \mathsf{Cat} \leftrightarrows \mathcal{V}\text{-}\mathsf{Cat} :(-)_0,$$ ...
user avatar
11 votes
3 answers
532 views

Relation between Ind-completion and "additive"-ind-completion

Suppose that $\mathcal{C}$ is a skeletally small additive category. To enlarge $\mathcal{C}$ and produce a bigger category whose "small" objects can be identified with those in $\mathcal{C}$,...
user avatar
  • 425
3 votes
0 answers
88 views

Density with respect to a family of diagrams, versus a class of weights

In Theorem 5.19 of Kelly's Basic Concepts of Enriched Category Theory, it is proven that a fully faithful functor $K \colon \mathcal A \to \mathcal C$ is dense if and only if $\mathcal C$ is the ...
user avatar
  • 5,035
11 votes
1 answer
488 views

Yoneda Lemma for monoidal functors

Let $(\mathcal V,\otimes,I)$ be a closed symmetric monoidal category, and let $\mathcal C$ be a $\mathcal V$-enriched category. The (weak) enriched Yoneda Lemma gives us a nice description of the set $...
user avatar
6 votes
0 answers
291 views

Examples of (co)ends

I am reading texts about (co)ends, and everywhere I see a lack of examples. I am not an expert in this area, and without examples it is difficult for me to use my intuition to grasp the idea. MacLane ...
user avatar
3 votes
1 answer
148 views

Explicit description of a pullback of $(2,1)$-categories

In the 1-category of 2-categories, with objects being categories enriched over Cat, and morphisms being 2-functors, is there an explicit way to describe a pullback of two functors $G:E\to D$ and $F:C\...
user avatar
  • 65
5 votes
0 answers
145 views

Is there a nice way to define discrete enriched categories?

In the setting of classical category theory, one defines the discrete category associated to a set $X$ as the category $X_\mathsf{disc}$ having the elements of $X$ as its objects and only identities ...
user avatar
  • 6,346
4 votes
1 answer
582 views

How to compute Homotopy Pullback

What on Earth is a homotopy pullback of $$A \rightarrow B \leftarrow C \ \ \ \ \ ???$$ Here $A,B,C$ are elements of a category ${\mathcal V}$ enriched in topological spaces (any convenient category ...
user avatar
  • 11.4k
1 vote
0 answers
136 views

Reference request: a class of matrices leading to interesting metric geometry

For $0 \le A \in GL(n,\mathbb{R})$, let $Aw = \Delta(A)$, where $\Delta$ denotes the map taking a matrix to a vector of its diagonal entries and/or forming a diagonal matrix from a vector, according ...
user avatar
17 votes
1 answer
575 views

Relationship between enriched, internal, and fibered categories

In this question, let $(\mathcal{V}, \otimes, [-,-], e)$ be a nice enough symmetric monoidal closed bicomplete category. The usual set-based Category theory has been generalized in many directions, ...
user avatar
2 votes
1 answer
95 views

"Lie theory" for anchored bundles and reflexive graphs

Perhaps Lie theory is not the correct term, but I'm thinking of the intermediate result in the Lie groupoid to Lie algebroid correspondence. Given a Lie groupoid $G$ over $M$, we may construct the Lie ...
user avatar
  • 1,213
1 vote
0 answers
96 views

Degree shift of multilinear maps

Let $V$ be a graded vector space over $\mathbb{k}$ and $V[1]$ its odd degree shift. Given $k$, $l\in \mathbb{N}_0$, is there a natural way to define the following map, $$ \psi: \hom_{\mathbb{k}}(V^{\...
user avatar
  • 444
7 votes
1 answer
274 views

Enrichment as extra structure on a category

We will suppose, for the sake of simplicity, that everything is happening within a fixed 'metacategory' $\textbf{SET}$ of sets and functions. So, from now on, a 'category' just means a category object ...
user avatar
  • 333
3 votes
1 answer
173 views

Morphisms of $\infty$-groupoids

As far as I understand, there are several ways of defining $\infty$-categories. One of them is to think of $\infty$-cateogries as $top$-enriched categories. Hence we can think of $\infty$-groupoids as ...
user avatar
9 votes
1 answer
338 views

Theory of weak enrichment in higher categories

Has there been work towards a general theory of weak enrichment in higher categories? To be more pointed, has there been any work towards trying to make sense of statements such as There is a (weak) $...
user avatar
  • 363
19 votes
2 answers
514 views

Enriched vs ordinary filtered colimits

Filtered categories can be defined as those categories $\mathbf{C}$ such that $\mathbf{C}$-indexed colimits in $\mathrm{Set}$ commute with finite limits. Similarly, for categories enriched in $\mathbf{...
user avatar
5 votes
1 answer
228 views

Weighted Co/ends?

Recall: Limits Recall that the limit of a functor $D\colon\mathcal{I}\to\mathcal{C}$ is, if it exists, the pair $(\mathrm{lim}(D),\pi)$ with $\lim(D)$ an object of $\mathcal{C}$, and $\pi\colon\...
user avatar
  • 6,346
3 votes
0 answers
154 views

Kan liftings and projective varieties

Regard the following two bicategories: $\operatorname{dg-\mathcal{B}imod}$, with objects dg categories, and morphisms categories from $C$ to $D$ being the categories of $C$-$D$-bimodules. Composition ...
user avatar
4 votes
2 answers
234 views

Is monadicity preserved by the underlying functor?

Let $\mathcal{V}$ be a monoidal closed (complete, cocomplete, reasonable...) category. Let $\mathsf{T}$ be an enriched monad over $\mathcal{V}$. The forgetful functor $\mathsf{U}: \mathsf{Alg}(\...
user avatar
9 votes
2 answers
947 views

Is the tensor product of chain complexes a Day convolution?

Recently, Jade Master asked whether the tensor product of chain complexes could be viewed as a special case of Day convolution. Noting that chain complexes may be viewed as $\mathsf{Ab}$-functors from ...
user avatar
  • 6,346
3 votes
1 answer
131 views

Literature on linear categories

I am trying to understand Deligne's 'Categories Tensorielles', and therefore I need some knowledge on linear categories. Looking at Wikipedia and nLab, I found some definitions and explanations, but I ...
user avatar
  • 275
8 votes
2 answers
260 views

Classification of absolute 2-limits?

Let $\mathcal V$ be a good enriching category. Recall that an enriched limit weight $\phi: D \to \mathcal V$ is called absolute if $\phi$-weighted limits are preserved by any $\mathcal V$-enriched ...
user avatar
  • 49.2k
6 votes
1 answer
262 views

Is there such a thing as a weighted Kan extension?

The title pretty much sums it up. More in detail. Let $C$, $D$ and $E$ be categories, let $F:C\to D$ and $G:C\to E$ be functors, and let $P:C^{op}\to \mathrm{Set}$ be a presheaf. The colimit of $F$ ...
user avatar
  • 1,999
3 votes
2 answers
272 views

The symmetric monoidal closed structure on the category of $\mathcal{F}$-cocomplete categories and $\mathcal{F}$-cocontinuous functors

In 6.5 of the book by Kelly, Basic concepts of enriched category theory. Reprints in Theory and Applications of Categories, No. 10, 2005. the author claims that the $2$-category $\mathsf{Cat}_{\...
user avatar
6 votes
1 answer
349 views

(Co)tensoring of enriched slice categories

In an answer to this question: Enriched slice categories, a description of the enrichment of the slice category in an enriched category is given. I'm interested in going a bit further. If we assume ...
user avatar
2 votes
0 answers
89 views

Monoidal V-categories, and monoids

I am guessing that the definition of monoidal V-category is a V-category $\mathbf{A}$ together with a V-functor $(\boxtimes) \colon \mathbf{A} \times \mathbf{A} \to \mathbf{A}$ and a functor $i \colon ...
user avatar
5 votes
3 answers
460 views

The homotopy category of the category of enriched categories

We know that if $\mathcal C$ is a combinatorial monoidal model category such that all objects are cofibrant and the class of weak equivalences is stable under filtered colimits, then $\mathsf{Cat}_{\...
user avatar
7 votes
0 answers
232 views

Are (complete) 2-Segal spaces the same as Span-enriched infinity categories?

The question is basically in the title. More generally, I would like to know if this, or any reasonable variant of it, is true. Or perhaps, to understand better the gap between 2-Segal spaces and Span-...
user avatar
  • 2,180
3 votes
0 answers
75 views

Do adjoints of enriched functors preserve the enriched structure?

Is there is any reason in general for adjoints of enriched functors to preserve the enriched structure of categories? The specific example I'm thinking of is the following: Fix a commutative ring $R$...
user avatar
  • 3,686
2 votes
1 answer
144 views

By general reasons, $i_A \colon \mathbb{D}\text{-}\mathrm{cont}[A,\mathbf{Set}] \to [A,\mathbf{Set}]$ has a left adjoint

In Centazzo and Vitale's A Duality Relative to a Limit Doctrine (TAC, 2002, abstract), early on, they make the above claim and cite Kelly's Basic Concepts in Enriched Category Theory (TAC reprints). I ...
user avatar
4 votes
0 answers
98 views

Pushforward of an internal category along a functor

Let $F:C\to D$ be a “nice” functor (for example, $H_*(-;\mathbb{Z}):\mathbf{Top}\to \mathbf{Ab}^{\mathbb{Z}}$). Now assume that we have a category $O$ internal to $C$. Is there a canonical way to ...
user avatar
  • 1,563
5 votes
1 answer
294 views

Tannaka duality for closed monoidal categories

I asked this some time ago at mathstackexchange, and people there explained to me the mathematical part of what I was asking, but the question about references remains open. In my impression, people ...
user avatar
7 votes
2 answers
231 views

Multiplication and division by a morphism under the “inner composition” in closed monoidal categories

I asked this a week ago at math.stackexchange, without success, so I hope it will be appropriate here. Let ${\mathcal C}$ be a symmetric closed monoidal category, and let me denote the internal hom-...
user avatar