Pith Number

pith:LNFISAW7

pith:2014:LNFISAW7LTYJCKHMIYX3KBRW6N

not attested not anchored not stored refs pending

Constructing categories and setoids of setoids in type theory

Erik Palmgren (Department of Mathematics, Olov Wilander (Sj\"oland, Stockholm, Stockholm University), Sweden), Thyselius

arxiv:1408.1364 v2 · 2014-08-06 · math.LO

Open paper page JSON Open Graph Bundle Merged state What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{LNFISAW7LTYJCKHMIYX3KBRW6N}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Receipt and verification

First computed	2026-05-18T01:37:35.623921Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

5b4a8902df5cf09128ec462fb50636f3635c82c8568c7526c132768d7017ff14

Aliases

arxiv: 1408.1364 · arxiv_version: 1408.1364v2 · doi: 10.48550/arxiv.1408.1364 · pith_short_12: LNFISAW7LTYJ · pith_short_16: LNFISAW7LTYJCKHM · pith_short_8: LNFISAW7

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/LNFISAW7LTYJCKHMIYX3KBRW6N \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 5b4a8902df5cf09128ec462fb50636f3635c82c8568c7526c132768d7017ff14

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "a176880407edcb73d7b5c0ac540176752063d4a078bebf741fba26dd15ba5fa5",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "math.LO",
    "submitted_at": "2014-08-06T17:43:08Z",
    "title_canon_sha256": "40a6b5aed9a3b23fd5890377479b29307c6e95cbfb84c9576db946ca116c049d"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1408.1364",
    "kind": "arxiv",
    "version": 2
  }
}