2601.14846v1.pdf
Extension
Size
893 KiB
Media Type
application/pdf
SHA-256 is a widely used cryptographic hash function.
This sequence of letters and numbers can be used as a unique identifier for this file
File Hash: SHA-256
e387598614404e91e82d81a182c1ef50ef0678ba00f0b514a789ad9c4fe2f6fc
Annotations
Structured records describing the file.
Read moreTitle
A Category-Theoretic Framework for Dependent Effect Systems
Version
1.4
Page Count
75
Producer
pikepdf 8.15.1
{
"file/base": {
"record": {
"extension": ".pdf",
"hash": "e387598614404e91e82d81a182c1ef50ef0678ba00f0b514a789ad9c4fe2f6fc",
"media_type": "application/pdf",
"media_type_prefix": "application",
"name": "2601.14846v1.pdf",
"size": 914266
},
"source": {
"execution_id": "14d059e0-b41d-4f96-b00d-6a059b2e1b43",
"id": "file/base",
"type": "Model",
"version": "1.0.0"
}
},
"file/pdf": {
"private": false,
"record": {
"creation_date": "2026-01-22T01:41:58Z",
"keywords": [],
"modified_date": "2026-01-22T01:41:58Z",
"page_count": 75,
"producer": "pikepdf 8.15.1",
"title": "A Category-Theoretic Framework for Dependent Effect Systems",
"version": "1.4"
},
"source": {
"execution_id": "7ba2a83e-4aed-4e6c-830f-bb01d9344b49",
"id": "dorsal/pdf",
"type": "Model",
"version": "1.1.0"
}
}
}
The number of unique users who have indexed this public file record
The date this file's metadata was first publicly indexed by any user.
The most recent date this file's metadata was publicly indexed by any user.
File Statistics
- Views:
- 28
- Indexed by:
- 1 user
- Indexed:
- 2026-02-17