Questions tagged [enriched-category-theory]
The enriched-category-theory tag has no usage guidance.
17
questions
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 ...
15
votes
2
answers
657
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 ...
15
votes
3
answers
1k
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 ...
13
votes
2
answers
648
views
The category theory of Span-enriched categories / 2-Segal spaces
The category $\mathsf{Span}$ of spans of sets is symmetric monoidal closed under $\times$ (the cartesian product from $\mathsf{Set}$, which is not the categorical product in $\mathsf{Span}$), ...
13
votes
2
answers
1k
views
The category of elements, enrichment, and weighted limits
This is a crosspost of this MSE question.
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 ...
12
votes
1
answer
358
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 ...
11
votes
3
answers
815
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}$,...
9
votes
3
answers
862
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 ...
9
votes
1
answer
299
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 ...
8
votes
1
answer
568
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 ...
8
votes
2
answers
454
views
Reference request: (co)limits in Eilenberg--Moore (V-)categories
The following result seems to be well known:
If T is a (V-)monad on a (V-)category C, then the forgetful functor $U^T \colon C^T \to C$ creates
any limits that exist in C, and
any colimits that ...
7
votes
2
answers
428
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 ...
7
votes
2
answers
914
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 ...
6
votes
0
answers
845
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 ...
5
votes
2
answers
565
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, ...
2
votes
1
answer
484
views
Yoneda extension of a faithful functor is faithful
Let $F: \mathcal C \to \mathcal D$ be a functor with $\mathcal D$ cocomplete, and let $\mathscr P \mathcal C$ be the free cocompletion of $\mathcal C$ (i.e., the category of small presheaves on $\...
1
vote
0
answers
188
views
Topological categories as enriched category
Lurie define in HTT(Def. 1.1.1.6) a topological category as a enriched category over compactly generated (and weakly Hausdorff) topological spaces, but usually we define a topological category as ...