nLab
Sandbox

testing, testing…

${\eta }_c\left({\text{Id}}_c\right)\in X(c)$

${\eta }_c\left({\text{Id}}_c\right)\in X(c)$

Numbered equations

This is the first equation (ever)

What you have just witnessed was equation number.. (1).

Stacks

This is a stack:

(of symbols, that is).

Metacategories

CAT is the metacategory whose objects are all categories and whose morphisms are all functors between those categories.

Numbered lists

Here is an ordered list:

1. Here is the first item.
2. Here is the second item.

The difference between the previous items and the following ones is so remarkable that I want to take a break for a moment and remark upon it.

3. OK, now here is the third item.
4. Item (4) obviates the need for item (5).
6. And therefore we go on to item (6).
7. This is now item (7), automatically.

And that's the whole list!

Testing … ${\int }_0^1\sin (3t)t^2\mathrm{d}t$.

• 1 list
• 1.1 in
• 2 order
• 3.1 is
• 3.2 markdown’s
• 3.3 way

1

list

1.1

in

2

order

3.1

is

3.2

markdown’s

3.3

way

Let’s quote some maths:

I’m not sure, but I think you might be trying to make the quoting too smart. Dumber is probably better than smarter.

For example, instead of assuming a math mode is part of the previous quote, it might be better to assume it is not UNLESS the quote continues immediately and explicitly right after the math mode. For

Here is a quote followed by some math mode

To make the math mode part of the quote, it should be followed immediate by a following quote.

Even if it is a blank quote line

arXiv on Nishimura

arXiv on Nishimura

REXML could not parse this XML/HTML: 
<a href="http://arxiv.org/find/grp_math/1/au:+Nishimura/0/1/0/all/0/1?skip=0&query_id=2c78a1a2f35a7b36">arXiv on Nishimura</a>

planar algebra

Freyd cover

Is this really what Mac Lane said in his foundations section (especially, on pages 23 and 24 of the second edition)? I think that a large category in Mac Lane is not any non-small category; its sets of arrows and objects must be classes (subsets of the fixed universe).

⟃$⟃$⟃

---

category: meta