Garlef Wegart
Reputation
1,326
Next privilege 2,000 Rep.
 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