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.univparisdiderot.fr/~mellies/papers/functorialboxes.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 semiserious 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 