Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
11
votes
Who needs Replacement anyway?
Here's an example of a published, nontrivial use of the the product of the sequence $\{ V, V^{*}, V^{**}, \ldots \}$ in a functional analysis paper, for the specific case of $V = \mathbb{R}^{\mathbb{N …
1
vote
Accepted
Functor from rings into compact Hausdorff spaces
Here is an answer to your question about monadicity, as it's too long for a comment. I will not fill in every detail, so if you follow along there will be several definitions that need to be expanded …
6
votes
Exponential objects in the category of measurable spaces
It is also possible to show that the category of measurable spaces, $\newcommand{\Mble}{\mathbf{Mble}}\Mble$, is not cartesian closed by using more category theory and less measure theory (though stil …
2
votes
Real/complex addition, multiplication, and exponentiation from a categorical viewpoint?
In category theory exponentiation is not a natural transformation. Rather, it is a functor, or a family of functors, equipped with a natural transformation.
If we have a category $C$ with finite pro …