Questions tagged [enriched-category-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
11
votes
1answer
322 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 $...
6
votes
0answers
227 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 ...
3
votes
1answer
107 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\...
5
votes
0answers
117 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 ...
4
votes
1answer
443 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 ...
1
vote
0answers
132 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 ...
14
votes
1answer
368 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, ...
2
votes
1answer
89 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 ...
1
vote
0answers
67 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^{\...
6
votes
1answer
203 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 ...
3
votes
1answer
156 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 ...
9
votes
1answer
311 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) $...
16
votes
1answer
342 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{...
5
votes
1answer
199 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\...
3
votes
0answers
149 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 ...
4
votes
2answers
222 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}(\...
9
votes
2answers
764 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 ...
3
votes
1answer
124 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 ...
6
votes
0answers
110 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 ...
5
votes
1answer
221 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$ ...
3
votes
2answers
252 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}_{\...
6
votes
1answer
328 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 ...
2
votes
0answers
58 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 ...
4
votes
3answers
414 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}_{\...
7
votes
0answers
179 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-...
3
votes
0answers
73 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$...
2
votes
1answer
135 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 ...
4
votes
0answers
86 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 ...
5
votes
1answer
269 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 ...
7
votes
2answers
221 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-...
3
votes
1answer
183 views

Weak enrichment and bicategories

I'm trying to find examples where the following perspective on bicategories is developed. We can define a 2-category as being enriched in Cat, where Cat is treated as a monoidal category using the ...
3
votes
0answers
65 views

On cofibrations of simplicially enriched categories

Let $\mathbb{C}$ be an strict 2-category and denote by $C$ is underlying 1-category viewed as as a 2-category only having identity 2-cells. We have a canonical inclusion functor , $$i: C \...
4
votes
1answer
118 views

Why is the category of all small $\mathbf{S}$-enriched categories locally presentable?

In Lurie's Higher Topos Theory Proposition A.3.2.4, the author used Proposition A.2.6.15 to prove that for any combinatorial monoidal model category $\mathbf{S}$ with all objects cofibrant and weak ...
3
votes
0answers
62 views

Generating an enriched multicategory

Let $C$ be an $(M,\otimes,1)$-enriched category. I am looking for a reference for a notion of “generating the morphisms of $C$” (for ordinary categories, but also for multicategories, see below). My ...
5
votes
1answer
191 views

Isomorphisms in enriched categories

Let $(M,\otimes,1)$ be closed monoidal category and $C$ an $M$-enriched category. Assume we have $C$-objects $X$ and $X'$ and a morphism $f:1\to C(X,X')$ in $M$. We call $f$ an isomorphism if there is ...
6
votes
1answer
181 views

Two monoidal structures and copowering

Let $(\mathbf{M},\otimes,1)$ be a closed monoidal category and $(\mathbf{C},\oplus,0)$ an $\mathbf{M}$-enriched monoidal category. Furthermore, assume that we have a copowering $\odot:\mathbf{M}\times\...
2
votes
0answers
64 views

Enrichment of lax monoidal functors between closed monoidal categories

Let $\mathscr C,\mathscr D$ be (right) closed monoidal categories. Then both of them can be considered as enriched over themselves via their internal homs, which I will denote by $\textbf{Maps}$. Now ...
8
votes
1answer
236 views

Simplicially enriched cartesian closed categories

In this question I asked whether for a complete and cocomplete cartesian closed category $V$, there can be a complete and cocomplete $V$-category $C$ (with powers and copowers) whose underlying ...
14
votes
3answers
789 views

Enriched cartesian closed categories

Let $V$ be a complete and cocomplete cartesian closed category. Feel free to assume more about $V$ if necessary; in my application $V$ is simplicial sets, so it is a presheaf topos and hence has all ...
4
votes
0answers
119 views

Hopf monoid from comonoidal structures

Let $\mathcal{V}$ be a closed braided monoidal category and $\mathcal{V}-Cat$ the monoidal bicategory of small $\mathcal{V}$-enriched categories. Let $\mathcal{C}$ be a pseudo-comonoid in $\mathcal{V}-...
16
votes
2answers
972 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 ...
14
votes
2answers
484 views

Monoidal functors $\mathcal C \to [\mathcal D,\mathcal V]$ are monoidal functors $\mathcal C \otimes \mathcal D \to \mathcal V$?

It is well known (e.g., Reference for "lax monoidal functors" = "monoids under Day convolution" ) that if $\mathcal C$ is a monoidal $\mathcal V$-enriched category, then a monoid ...
13
votes
1answer
409 views

Definitions of enriched monoidal category

This question is about two definitions of enriched monoidal categories I have: Let $\mathcal{V}$ be a symmetric monoidal closed category. The first definition: a $\mathcal{V}$-enriched category $\...
8
votes
0answers
359 views

In what context can enriched category theory be done?

There are many possible situations one can do enriched category theory. See https://ncatlab.org/nlab/show/category+of+V-enriched+categories#possible_contexts for a list. My question is what ...
3
votes
1answer
151 views

Is the category of enriched operads (co)complete?

Let $V$ be a symmetric monoidal category which is complete and cocomplete. Is the category of small symmetric colored $V$-enriched operads complete and cocomplete? If $V$ is presentable, is it ...
5
votes
2answers
461 views

Enrichments vs Internal homs

Consider the definition of existence internal homs for a general monoidal category category $\cal{C}$, mainly the existence of an adjoint for the functor $$ X \otimes -: \cal{C} \to \cal{C}, $$ for ...
7
votes
1answer
237 views

Are sifted (2,1)-colimits of fully faithful functors again fully faithful? (And a de-categorified variant)

1) Suppose that I have a sifted diagram of categories $\mathcal{C}_i$, another of the same shape $\mathcal{D}_i$, and that I have a system $F_i:\mathcal{C}_i\to\mathcal{D}_i$ commuting with the ...
9
votes
1answer
253 views

Can an enriched functor be expressed as a colimit of representable functors?

Suppose that $\mathcal C$ is an ordinary category and $F:\mathcal C^{op}\longrightarrow Set$ a functor. Then, we can form the category $\mathcal C/F$ as follows : each object is a morphism of functors ...
1
vote
0answers
82 views

Pointwise convergence in Lawvere metric spaces

In the formalism of Lawvere metric spaces, we have that the distance in the hom-space $[X,Y]$ is given by: $$ d(f,g) = \sup_{x\in X} d(f(x),g(x)) . $$ Therefore, a sequence of functions $f_n:X\to Y$ ...
3
votes
1answer
168 views

Accessible categories in enriched category theory

I study some definitions of accessible category (see 1) and the applications of that notions; my question: exist a notion of accessible category in therm of enriched category theory? (in case of exist,...