Reputation
247
Top tag
Next privilege 250 Rep.
View close votes
Badges
1 9
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 15 votes cast
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.