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

  • 0 posts edited
  • 0 helpful flags
  • 11 votes cast
Feb
1
asked How do you know two morphisms are equal (without using elements)
Jan
30
comment Data about a morphism and Data about a category
I have an example over at nlab where I am trying to compute approximations to FREL in Cat. Here is the link. I think it is an example of the third paragraph.
Jan
29
comment Data about a morphism and Data about a category
I don't have a finished definition for a probabilistic category.
Jan
29
revised Data about a morphism and Data about a category
I mention that I believe a particular theorem. I have not seen this theorem proved.
Jan
29
asked Data about a morphism and Data about a category
Nov
20
accepted Finite categories with a monoidal product
Nov
20
asked To what extent is the presentation of the category of X a presentation of the theory of X?
Nov
20
asked Operads are to multicategories as what are to polycategories
Oct
24
awarded  Nice Question
Oct
17
accepted Categories of categories where large objects are colimits over small objects
Oct
17
asked Finite categories with a monoidal product
Sep
17
awarded  Yearling
Sep
14
comment Categories of categories where large objects are colimits over small objects
Hi, I am now wondering about a host category for your suggestion. That is, what kind of category has, as objects, large categories like Hilb and Group, as well as all their finitely generated subcategories? Also, do you have a reference for your stated theorem?
Sep
13
comment Categories of categories where large objects are colimits over small objects
Hi, according to this definition, a locally presentable category would have only small objects. I am deducing from this that any locally presentable category of categories can only have small categories as objects.
Sep
5
asked Categories of categories where large objects are colimits over small objects
Aug
18
accepted Reconstruct a category : Forgetful fuctor to underlying graph, free functor of graph and then a quotient
Aug
18
asked Reconstruct a category : Forgetful fuctor to underlying graph, free functor of graph and then a quotient
Aug
9
asked Approximation to FRel in Cat
Aug
1
accepted sequence of colimit diagrams
Jul
30
asked sequence of colimit diagrams