Skip to main content
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
Results tagged with
Search options not deleted user 82450

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 …
twocubes's user avatar
  • 125
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}, …
twocubes's user avatar
  • 125
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 …
twocubes's user avatar
  • 125
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 …
twocubes's user avatar
  • 125