Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Set theory has a very convenient and well established curly brace notation to specify a set by its elements: $\{2,3,4,6\}$ or $\{\text{finite subgroups of }SU(2)\}$ are simple examples.

There should be a similar convenient notation for specifying a category by its objects and morphisms. Such a notation should easily accommodate categorical constructions such as slice categories. For example a double slash notation to separate objects and morphisms would define a slice category by something like (I am making this up!) $$ \mathcal{C}\downarrow X= [ Y\to^f X : [Y//f]\in \mathcal C\quad // \quad (Y\to^f X)\to^h (Z\to^g X): [Y,Z//h] \in \mathcal C, g\circ h=f] $$ (a commutative diagram in the second part of the specification would be more convenient here, but it should also be possible to typeset the notation inline).

Do such notations already exist? Whether they do or not, what notations would contributors recommend or suggest?

Update. Many thanks for comments made here. So far I most like the observation that clearly describing the morphisms makes the objects implicit. Still, I think beginners need the objects too, and have been experimenting with a notation like the one above, but using "staples" instead of square brackets, and introducing morphisms after objects by a vertical rectangular block (a bit like a closed staple). 2-morphisms could then be introduced in a similar way by a double block (a block with a vertical line through it). While the answers convince me that such notation is often unnecessary and maybe unhelpful sometimes, I'm not convinced such notation would be worthless.

share|improve this question
3  
I would advise against using double slash as you propose (especially $Y//f$) as this is a notation for a 'homotopy' or weak quotient in some settings. An example is $X//G$, with $X$ a $G$-set, $G$ a group, this is then the action groupoid associated to the action. –  David Roberts Dec 12 '10 at 23:10
    
Also, what is your motivation? Are you trying to formalise notation so as to computer readable? I agree with Andrej's answer that 1-dimensional notation for categories is strained except in simple situations. It is far better to expend some words explaining what a simple, unambiguous notation means (like $f\downarrow g$ for a comma category) and then use that. "should easily accommodate categorical constructions" - well, that would be nice, but not always neat. I would consider thinking about 2-dimensional notation, since you seem to want to work in the 2-category Cat. Cont.. –  David Roberts Dec 12 '10 at 23:15
    
I'm definitely not proposing any notation! I also tried a double pipe while formulating this question. However, morphisms are closely related to weak quotients (as the example of a point/G illustrates). –  David MJC Dec 12 '10 at 23:18
2  
The Ehresmann school of category theory (which is very small, and I only know of a handful of living practitioners) named categories by their morphisms, because a lot of the time there was focus on categories with the same objects. By saying $[X/G](S)$ is $G$-equivariant maps between $G$-bundles over $S$ in $Sch/X$ (or similar, I can't recall the precise details of the stack $[X/G]$ at present) you are pretty much there. Personally I would work up to equivalence and say that this groupoid is (equivalent to) $Hom(S,X//G)$ in the 2-category of anafunctors internal to schemes, but that's just me –  David Roberts Dec 13 '10 at 1:03
2  
In 20-30 years time we might want to introduce categorical thinking more systematically at an undergraduate level (as set theory becomes an outdated foundation). For most mathematical purposes, I don't care what is the element of a 1-element set, nor do I care precisely what an ordered pair or a disjoint union is, as long as the universal properties are satisfied. I agree that describing sets by elements is uncategorical, but that applies to morphisms too, and we aren't going to introduce infinity categories in one breath are we? –  David MJC Dec 14 '10 at 0:24
show 7 more comments

2 Answers 2

One thing I often do is work with set-builder notation $\{blah\in thing| conditions\}$ where either or both of the $blah$ and $conditions$ are allowed to be (collections of) (2-)commuting diagrams. I also work with objects and arrows separately. (Edit: by which I mean I write $Obj(C) := \ldots$ and $Mor(C) := \ldots$ or similar)

share|improve this answer
3  
Can you give an example? Thanks –  David MJC Dec 12 '10 at 23:20
    
How do you get the arrows in? –  darij grinberg Dec 13 '10 at 13:01
    
Ah, well this is generally in my handwritten notes. In display environment you can have 'stretchy' braces and pop an \xymatrix or \array where needed. As far as fancy options for TeX-ing this notation, I recommend asking at tex.stackexchange.com –  David Roberts Dec 13 '10 at 23:05
add comment

For finite categories it is customary to give a presentation in terms of generators and relations (equations), where the generators are presented as a directed graph whose vertices are the objects and the arrows are the generating arrows.

For many "schematic" categories, such as slice categories, it is customary to draw the relevant shapes of objects and morphisms. Extra conditions, if any, go in the text.

I do not quite understand why you think it should be possible to typset the convenient notation inline. Convenient notation for categories simply isn't one-dimensional.

share|improve this answer
    
Typesetting inline is not a requirement, but note that I could have typeset the commutative diagram inline if I had the energy! Two and three dimensional diagrams can often be represented concisely on paper, hence inside a "Category of..." notation. –  David MJC Dec 12 '10 at 23:10
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.