Reputation
1,291
Next privilege 2,000 Rep.
Edit questions and answers
Badges
9 20
Impact
~122k people reached

  • 0 posts edited
  • 3 helpful flags
  • 204 votes cast
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
Jan
17
comment Gluings and collages along profunctors
I would not think of this as a glueing: Consider my answer to your other question (mathoverflow.net/questions/190492/…). The Category of elements behaves more like a fibre product over a distributor A distributor also induces a category structure on the disjoint union of the objects $\mathrm{Ob}X\amalg \mathrm{Ob} Y$ and this one should be called the glueing as it exhibits the required adjointness property.
Jan
17
comment The (un)reasonable (non-)ubiquity of the Grothendieck construction
The idea behind the comprehension notation comes is the following: existential quantifier = set-comprehension = grothendieck construction.
Jan
17
answered The (un)reasonable (non-)ubiquity of the Grothendieck construction
Jan
17
comment Reference for “multi-monoidal categories”
Have you considered an approach similar to Durov? "Algebraic (Strong-/Pseudo-) Monads on Cat" or something like this.