Reputation
1,326
Next privilege 2,000 Rep.
Edit questions and answers
Badges
1 9 21
Impact
~128k people reached

  • 0 posts edited
  • 3 helpful flags
  • 205 votes cast
2d
revised Objects which can't be defined without making choices but which end up independent of the choice
fixed a typo
Apr
27
awarded  Popular Question
Mar
15
revised Endofunctors of graph categories
Renamed the variables in the definition of the pushforward from 'e' to 'v' to make it more clear that they refer to vertices
Feb
14
awarded  Great Answer
Dec
20
awarded  Autobiographer
Dec
18
awarded  Revival
Dec
18
comment functors of string diagrams in a monoidal category
pps.univ-paris-diderot.fr/~mellies/papers/functorial-boxes.pdf is this what you're looking for ?
Dec
18
revised Monoidal cats and string diagrams for a semantics of object oriented programming languages
Sketched out some parts.
Dec
17
comment Why do categorical foundationalists want to escape set theory?
One semi-serious analogy: Doing category theory in in set theory is like writing a web app in assembler.
Dec
17
answered Monoidal cats and string diagrams for a semantics of object oriented programming languages
Oct
28
awarded  Yearling
Oct
13
awarded  Good Answer
Oct
7
comment What are the worst notations, in your opinion ?
I don't like $f;g$ either and I use a custom made ">>" sign .
Sep
17
awarded  Nice Question
Aug
2
comment About a closed strucure on profunctors
Also: What is the functor $\otimes:Set\times Set \to Set$? The cartesian product? What is the functor $\otimes:Cat\times Cat\to Cat$ you use?
Aug
2
comment About a closed strucure on profunctors
To clearify: Objects in Prof are profunctors? What are the morphisms you consider? There are several possibilities. Furthermore: I suggest you use another notation for the product of profunctors as '$\otimes$' is usually used for the composition of profunctors. I'd suggest '$\boxtimes$'. It is usually used for 'outer prodcts' like the one describe.
Jan
19
revised The (un)reasonable (non-)ubiquity of the Grothendieck construction
replaced "a.k.a.$\mathbb V-\mathrm{Cat}$-adjunction)" with "constituting a \mathbb V-\mathrm{Cat}$-adjunction)"
Jan
19
comment The (un)reasonable (non-)ubiquity of the Grothendieck construction
Nah. Not slick - But easy. I'll clean up my notes and post a link to the diagrams sometime next week.
Jan
17
awarded  Revival
Jan
17
revised The (un)reasonable (non-)ubiquity of the Grothendieck construction
added 70 characters in body