To add these to the nLab they would have to be relevant to parts of mathematics outside your work. Do you have any examples which are not cooked up from funcoids etc? Can you prove any theorems about these that are outside funcoid theory? If not, their utility to the nLab project is minimal, and might be best left on your own site for now.

]]>http://portonmath.wordpress.com/2012/06/12/star-categories/

http://portonmath.wordpress.com/2012/06/13/tower-categories/

(see also this draft PDF).

But afterward I noticed that the terms "star category" and "tower category" are already taken. Please help me to invent good names for these concepts.

After we will have good names, we should create pages of these two related concepts on the nLab wiki. ]]>