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.
2
votes
0
answers
87
views
What do we need if we want to be able to define the composite of two internal distributors/p...
In Borceux's Handbook of Categorical Algebra Volume 1, exercise 8.4.2 defines an internal distributor in a category $\mathcal{C}$ with finite limits and coequalizers as an internal base-valued functor …
4
votes
0
answers
237
views
Using the more general adjoint functor theorem to show the existence of Kan extensions
There's an exercise in the Handbook of Categorical Algebra (exercise 6.7.11, volume 1) where you're supposed to show the that the following theorem:
Given three categories $\mathcal{A}, \mathcal{B}, …
5
votes
1
answer
306
views
Not sure how to fix an error in the Handbook of Categorical Algebra (vol 3)
In the proof of Theorem 1.5.7 (in which it is shown the the nuclei on a locale, when ordered by pointwise partial order, themselves form a locale) in the computation at the bottom of p.35, there is us …
1
vote
1
answer
135
views
Trying to construct the ultrafilter 2-monad on $\mathbf{Cat}$
By which I mean, following Bôrger's paper Coproducts and Ultrafilters, the terminal monad among those that preserve finite coproducts, if such a thing can be constructed.
So far, what I have is, give …