# Questions tagged [enriched-category-theory]

The tag has no usage guidance.

47 questions
0answers
42 views

### decomposition of hom-functors in a self-enriched category

Let $\mathbb{C}$ be a self-enriched category (such as Set). The Functor $\mathbb{C}(X, \mathbb{C}(Y,\_))$ is the same than the composition of functors $\mathbb{C}(X,\_) \circ \mathbb{C}(Y,\_)$. In a ...
0answers
10 views

### Recognising categories of enriched categories

Given a monoidal category $\mathcal V$ one has the category $\mathcal V{-}\mathbf {Cat}$ of (small) $\mathcal V$-enriched categories and $\mathcal V$-enriched functors (and $\mathcal V$-enriched ...
0answers
57 views

### Do we have to redo category theory when learning about enriched categories? [closed]

I'd like to know whether there exists a common language that encompasses both categories and enriched categories, so that results pertaining to either may be proven in a uniform way. I'd prefer it if ...
1answer
50 views

### Enriched category over non-monoidal category

I'm finally learning homological algebra, and the notion of an enriched category seems to be the right setting in which to define the $\mathbf{Ext}$ functor. Yet, the definitions of an enriched ...
1answer
92 views

### A linear category is a Vect-module

I would like to know how to show that any linear category is a $\mathrm{Vec}$-module. Here $\mathrm{Vect}$ denotes a category of finite dimensional vector spaces. More general statement can be found ...
1answer
68 views

### k-linear category

In the tasks I have it says "Let $k$ be a field. Show that the structure of a $k$-linear category on a category $\mathcal{C}$ is equivalent to $\mathcal{C}$ being a module category (see Module ...
0answers
48 views

### Notation: why are categories enriched over $\mathcal V$?

In most references about enriched categories, $(\mathcal V, \otimes)$ is supposed to be a monoidal category and then $\mathcal V$-enriched categories are defined. Why is the letter $\mathcal V$ used ...
0answers
78 views

### Do 2-categorical left adjoints preserve $\mathcal{V}$-colimits?

Let $\mathcal{C}$ be a category enriched in $\mathcal{V}$, and $\mathcal{D}$ be a category enriched in $\mathcal{W}$. It is well known that $\mathcal{V}Cat$, the category of $\mathcal{V}$-enriched ...
0answers
16 views

1answer
58 views

### Some questions about Enrichement Definition in Category Theory

Here is the definition of enrichment captured from Borceux. My questions: It seems to me we cannot define enrichment over any monoidal category, because: First, take the 3rd requirement, the ...
1answer
54 views

### DG cofibrant replacement functor

This problem is one occurred in Bertrand Toën’s Lectures on DG-categories Prop 4.3.4. Let $M$ be a cofibrantly generated $C(k)-$model category. Then it is automatically a DG category and its ...
1answer
46 views

### What is the right notion of separator in a 2-category?

A separator, or separating family, in a category is a full subcategory $\mathcal{S} \hookrightarrow \mathcal{E}$ of a category $\mathcal{E}$ which satisfies the following: For any parallel pair of ...
0answers
58 views

### Examples of weakly dualizable objects in a non-closed monoidal category.

The following is a straightforward generalization of the notion of dualizable object in a symmetric monoidal category given in Duality, Trace and Transfer by Albrecht Dold and Dieter Puppe to non-...
1answer
96 views

### Reference Request. Using algebraic geometry to study categories enriched over rings.

EDIT: As mentioned below in the comments, take subcategory of $\mathbf{Vec}_k$ consisting of endomorphisms. Then $\text{End}_k(V)$ carries a natural ring structure. My question is in multiple ...
1answer
81 views

### What is a Presheaf-category enriched pullback?

I have a question about presheaf-enriched categories, like sSet for example that I think is pretty basic, but I don't know how to go about. So I have a category $C$, like $\Delta^\text{op}$, that is ...
1answer
55 views

### Monoidal Category (Coherence Conditions)

In the definition of a monoidal category below, can someone please explain the idea behind the coherence conditions, especially the pentagon diagram's construction. Why do we need four elements A,B,C, ...
0answers
40 views

### Division (or internal hom) notation in monoidal categories

At the end of section A.1.4 of the book "higher topos theory," there is a formula $X\otimes (C\otimes D)\simeq (X\otimes C)\otimes D$ which means the action property of tensoring in enriched ...
1answer
139 views

### Definiton of the beta in Lurie's HTT

In the section §A.3.1 of Lurie's "Higher Topos Theory", the map $\beta_{X,S} \colon S \otimes FX \to F(S \otimes X)$ is defined without assuming $F$ has the structure of $\mathbf{S}$-enriched ...
2answers
179 views

### Definition of enriched category as lax-monoidal functor

I am striking against the following definition/characterization (from the nlab) $\newcommand{\id}{\text{id}} \newcommand{\comp}{\text{comp}}$ of enriched category ... an alternative way of viewing ...
0answers
77 views

### Is there a known connection between graded categories and enriched categories?

The notion of an enriched category and that of a graded category are both similar in the sense that they both endow the usual morphisms of a category with additional structure. A natural question is ...
1answer
131 views

### Does Yoneda embedding reflect equivalent categories?

Let $\mathsf{Cat}$ denote the category of small categories. For categories $\mathcal A$ and $\mathcal B$ in $\mathsf{Cat}$, let $[\mathcal A,\mathcal B]$ denote the category whose objects are functors ...
1answer
137 views

### The one-arrow category as a weighted limit in Cat

Many categories can be defined as weighted limits or colimits in the 2-category of categories Cat. For example the category 1 (one object with its identity) is the terminal object of Cat, the category ...
1answer
261 views

2answers
114 views

### Single-object additive category

A pre-additive category with a single object $\bullet$ is simply a ring $R = \mathrm{Hom}(\bullet,\bullet)$: pre-additivity makes this Hom-space an abelian group and with bilinear composition, i.e. a ...
1answer
118 views

### Delooping of a ring?

I'm no expert on category theory, so the definition of delooping in the nlab article is a bit over my head. However, I do understand the practical idea that we can think of a group $G$ as a one-object ...
1answer
140 views

### Graphic intuition for generalizing to weighted limits

One of the ways to define a limit of a functor $F:\mathsf C\longrightarrow\mathsf D$ is a representation of $\mathsf{Nat}(\Delta-,F)$. Along the journey of generalization to the enriched setting, one ...
1answer
106 views

### Is $Set$ a 2-category?

I've read that $Rel$ (the category of sets and relations) is a 2-category by considering 2-morphisms to be inclusion of relations. Is $Set$ also a 2-category by considering 2-morphisms to be inclusion ...
1answer
204 views

### Weighted limits in the $Cat$-category of categories

What is a weighted limit in the $Cat$-category of categories, functors and natural transformations? I can find the general definition of a weighted limit for enriched categories in Kelly's book or ...
1answer
192 views

0answers
136 views

### The category of elements, enrichment, and weighted limits

Every so often, when reading notes online or skimming through books, the category of elements and the Grothendieck construction pop up. I don't know anything about the Grothendieck construction, and I ...
0answers
337 views

### Relation between strong profunctors and enriched profunctors

We know that in a closed monoidal category $V$, the two statements are equivalent: $T$ is a strong endofunctor $T$ is an (enriched) endofunctor in $V$ enriched over itself. I'd like to know if ...
0answers
189 views

### How to compute (co)limits of enriched categories?

Let $\mathscr{V}$ be a monoidal category. Let $\mathbf{Cat}_{\mathscr{V}}$ be the category of (small) categories. I would like to know how to compute (co)limits in $\mathbf{Cat}_{\mathscr{V}}$. This ...
1answer
61 views

1answer
139 views

### Categories enriched over a field

Let $K$ be a field, regarded as a monoidal category in the following way: Objects are elements $x\in K$; Morphisms between $x\to y$ are only identities; The (strictly symmetric) monoidal structure \$x\...
1answer
138 views

### Underlying functor of tensor product in a closed and symmetric monoidal category.

I will follow, for terminology and notation, G. M. Kelly, Basic Concepts of Enriched Category Theory. For sake of a self-contained exposition, I will try to write here all the needed concepts. Let ...