Questions tagged [enriched-category-theory]
The enriched-category-theory tag has no usage guidance.
147
questions
6
votes
0
answers
345
views
Enriched Categories: Metric Spaces, Monoidal Endofunctors and Lipschitz-Continuous Maps.
In the introduction to the reprint of "Metric spaces, generalized logic and closed categories" Lawvere talks about the following situation:
Let $\mathbb R_+$ denote $\mathbb R_{\geq 0}^\infty$. Every ...
2
votes
1
answer
178
views
Reference Request(Enriched Categories): Metric on Lipschitz Continuous Functions
If we consider metric spaces to be categories enriched over $\mathbb R_{\geq 0}$, the object corresponding to presheaves should be lipschitz-continuous functions $\operatorname{Lip^ 1}(M, \mathbb R_{\...
8
votes
1
answer
454
views
Definition of enriched caterories or internal homs without using monoidal categories.
I know this question may seem nonsensical at first but let me exlain what i have in mind:
In enriched category theory we define categories enriched over a monoidal category $(\mathcal{V},\otimes, I)$....
45
votes
0
answers
1k
views
Enriched Categories: Ideals/Submodules and algebraic geometry
While working through Atiyah/MacDonald for my final exams I realized the following:
The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...
20
votes
0
answers
2k
views
Can the similarity between the Riesz representation theorem and the Yoneda embedding lemma be given a formal undergirding?
For example, by viewing Hilbert spaces as enriched categories in some fashion? (I suppose the same idea of considering the inner product of a Hilbert space as a generalized Hom-set has also been ...
3
votes
0
answers
262
views
Name for enrichment with Hom(1,-) a full functor?
Let C be a V-enriched category and 1 be a terminal object of C. V is not necessarily a closed category, and C does not necessarily have an internal hom (nor is C even necessarily a monoidal category)....
17
votes
2
answers
1k
views
Model category structure on categories enriched over quasi-coherent sheaves
Gonçalo Tabuada has shown that there is a Quillen model category structure on the category of small dg-categories, i.e. the category of small categories enriched over chain complexes (for a fixed ...
9
votes
3
answers
884
views
Enriched locally presentable categories
Is there a standard reference for the theory (if it exists) of $\mathcal{V}$-enriched locally presentable categories? Here $\mathcal{V}$ is a cosmos. Does anything unexpected happens here in contrast ...
3
votes
2
answers
530
views
When does the 2-category V-Cat have pseudo-pullbacks?
Edit: rewritten the question (edit:again), as I realised I wanted weak pseudo-pullbacks, not comma objects.
Consider the 2-category $V$-$Cat$ of $V$-enriched categories. An example is $Cat$ itself, ...
19
votes
0
answers
1k
views
Is there some way to see a Hilbert space as a C-enriched category?
The inner product of vectors in a Hilbert space has many properties in common with a hom functor. I know that one can make a projectivized Hilbert space into a metric space with the Fubini-Study ...
3
votes
4
answers
544
views
Is there a sensible way to enrich over SymMonCat such that id_X is not the monoidal unit?
SymMonCat is the cartesian 2-category of symmetric monoidal categories, braided monoidal functors, and monoidal natural transformations. The terminal symmetric monoidal category 1 has one object $I$ ...
8
votes
2
answers
457
views
Pointer to literature on double enrichment and functors among enriching categories?
I'm currently working with the following two situations:
$\mathbb A$ is a monoidal category, $\mathbb B$ is an $\mathbb A$-enriched monoidal category, and $\mathbb C$ is a $\mathbb B$-enriched ...