Ben Sprott
Reputation
247
Top tag
Next privilege 250 Rep.
 2d asked What can you do with a Frobenius Monad? Feb 11 comment Metrics and Measures on a Category of Cats : a cauchy complete category of categories I guess I will take this to math overflow. Feb 11 revised Metrics and Measures on a Category of Cats : a cauchy complete category of categories added 17 characters in body; edited title Feb 11 revised Metrics and Measures on a Category of Cats : a cauchy complete category of categories added 719 characters in body; edited title; added 14 characters in body Feb 11 comment Metrics and Measures on a Category of Cats : a cauchy complete category of categories I will add what i can to to my question here. Feb 10 asked Metrics and Measures on a Category of Cats : a cauchy complete category of categories Feb 10 comment A complete category of categories and embeddings Hi @Oskar, I am trying to do a calculation which is the calculation of colimits in Cat (and have been advised to do it with coproducts and coequalizers). Here is a link to my explanation page at nforum. I really need help doing the calculation, so if you would like to help, that would be great! Feb 9 comment A complete category of categories and embeddings Amazing and very helpful thanks so much! Feb 9 accepted A complete category of categories and embeddings Feb 9 revised A complete category of categories and embeddings added 86 characters in body Feb 9 asked A complete category of categories and embeddings Feb 9 accepted Is this category complete or Cauchy complete? Feb 9 asked Is this category complete or Cauchy complete? Feb 8 accepted What functors are these? Feb 8 revised What functors are these? added 187 characters in body Feb 8 comment What functors are these? Yes, ok, the idea isn't totally general. But can we define $A$ such that the functor exists? In that case, how do we see such a functor? Feb 8 revised What functors are these? added 398 characters in body Feb 8 comment What functors are these? Suppose you have a monoid, with a partial composition (not all elements compose) and you then define equations over words in your "partial monoid". If you had a finite presentation of your partial monoid, you should have some set of equations that define it. The same is true for "just arrow" categories. Feb 8 comment What functors are these? Perhaps I need to start there, and ask "given a just arrow category, C, can we have the set of equations for C?" Feb 8 comment What functors are these? I will try to be more explicit, but please read the link in the post.