A small tool to view real-world ActivityPub objects as JSON! Enter a URL
or username from Mastodon or a similar service below, and we'll send a
request with
the right
Accept
header
to the server to view the underlying object.
{
"@context": [
"https://www.w3.org/ns/activitystreams",
{
"ostatus": "http://ostatus.org#",
"atomUri": "ostatus:atomUri",
"inReplyToAtomUri": "ostatus:inReplyToAtomUri",
"conversation": "ostatus:conversation",
"sensitive": "as:sensitive",
"toot": "http://joinmastodon.org/ns#",
"votersCount": "toot:votersCount"
}
],
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890156808981377",
"type": "Note",
"summary": null,
"inReplyTo": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890155815254064",
"published": "2023-08-14T21:45:11Z",
"url": "https://mathstodon.xyz/@MartinEscardo/110890156808981377",
"attributedTo": "https://mathstodon.xyz/users/MartinEscardo",
"to": [
"https://www.w3.org/ns/activitystreams#Public"
],
"cc": [
"https://mathstodon.xyz/users/MartinEscardo/followers"
],
"sensitive": false,
"atomUri": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890156808981377",
"inReplyToAtomUri": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890155815254064",
"conversation": "tag:mathstodon.xyz,2023-08-14:objectId=61683218:objectType=Conversation",
"content": "<p>* 2023/07/18. Motivation for ∞-categories.<br /><a href=\"https://mathstodon.xyz/@MartinEscardo/110737059204379256\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110737059204379256</span></a></p><p>* 2023/07/21. Iterative multisets, sets and ordinals.<br /><a href=\"https://mathstodon.xyz/@MartinEscardo/110753930251021051\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110753930251021051</span></a></p><p>* 2023/08/18. Injective types in constructive HoTT/UF. <a href=\"https://mathstodon.xyz/@MartinEscardo/110912588238494225\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110912588238494225</span></a></p><p>* 2023/09/01. Three exercises for HoTT/UF students. <a href=\"https://mathstodon.xyz/@MartinEscardo/110991799307299727\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110991799307299727</span></a></p><p>* 2023/09/03. Two exercises in constructive mathematics (which evolved to more). <a href=\"https://mathstodon.xyz/@MartinEscardo/111002413035009813\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">111002413035009813</span></a></p><p>* 2023/09/05. Demystifying propositional truncations in HoTT/UF. <a href=\"https://mathstodon.xyz/@MartinEscardo/111014413939196037\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">111014413939196037</span></a></p><p>* 2023/09/23. An amusing proof in constructive type theory. <a href=\"https://mathstodon.xyz/@MartinEscardo/111115846596114122\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">111115846596114122</span></a></p><p>* 2023/10/04. Formalizations written for people, not (only) computers.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111178225435612295\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111178225435612295</span></a></p><p>* 2023/10/13. The "philosophy" of TypeTopology.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111229203225759689\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111229203225759689</span></a></p><p>* 2023/10/24. Automorphisms of the subobject classifier and excluded middle.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111291658836418672\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111291658836418672</span></a></p><p>* 2023/11/04. Embeddings versus left-cancellable maps in HoTT/UF<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111353724713972893\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111353724713972893</span></a></p><p>* 2023/11/08. The meaning of "type" in various type theories, including HoTT/UF.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111376929816890580\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111376929816890580</span></a></p><p>* 2023/11/09. The notion of equivalence in HoTT/UF.<br />The notion of equivalence in HoTT/UF.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111382482977842039\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111382482977842039</span></a></p><p>* 2023/11/13. Constructive taboos.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111405121300053710\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111405121300053710</span></a></p><p>*2023/12/07. Exhaustibly searchable sets in higher-type computation.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111540938183855671\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111540938183855671</span></a></p><p>*2024/01/03. The delay monad, searchable types and totally separated types.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111666070245799946\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111666070245799946</span></a></p><p>*2024/01/21. Computability at higher types.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111795547575914525\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111795547575914525</span></a></p><p>*2024/01/29. How I view the formalization of mathematics.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111835176816331626\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111835176816331626</span></a></p><p>*2024/02/02. A mathematical coincidence?<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111863796141320384\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111863796141320384</span></a></p><p>2/</p>",
"contentMap": {
"en": "<p>* 2023/07/18. Motivation for ∞-categories.<br /><a href=\"https://mathstodon.xyz/@MartinEscardo/110737059204379256\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110737059204379256</span></a></p><p>* 2023/07/21. Iterative multisets, sets and ordinals.<br /><a href=\"https://mathstodon.xyz/@MartinEscardo/110753930251021051\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110753930251021051</span></a></p><p>* 2023/08/18. Injective types in constructive HoTT/UF. <a href=\"https://mathstodon.xyz/@MartinEscardo/110912588238494225\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110912588238494225</span></a></p><p>* 2023/09/01. Three exercises for HoTT/UF students. <a href=\"https://mathstodon.xyz/@MartinEscardo/110991799307299727\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">110991799307299727</span></a></p><p>* 2023/09/03. Two exercises in constructive mathematics (which evolved to more). <a href=\"https://mathstodon.xyz/@MartinEscardo/111002413035009813\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">111002413035009813</span></a></p><p>* 2023/09/05. Demystifying propositional truncations in HoTT/UF. <a href=\"https://mathstodon.xyz/@MartinEscardo/111014413939196037\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">111014413939196037</span></a></p><p>* 2023/09/23. An amusing proof in constructive type theory. <a href=\"https://mathstodon.xyz/@MartinEscardo/111115846596114122\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/@MartinEscardo/</span><span class=\"invisible\">111115846596114122</span></a></p><p>* 2023/10/04. Formalizations written for people, not (only) computers.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111178225435612295\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111178225435612295</span></a></p><p>* 2023/10/13. The "philosophy" of TypeTopology.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111229203225759689\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111229203225759689</span></a></p><p>* 2023/10/24. Automorphisms of the subobject classifier and excluded middle.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111291658836418672\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111291658836418672</span></a></p><p>* 2023/11/04. Embeddings versus left-cancellable maps in HoTT/UF<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111353724713972893\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111353724713972893</span></a></p><p>* 2023/11/08. The meaning of "type" in various type theories, including HoTT/UF.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111376929816890580\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111376929816890580</span></a></p><p>* 2023/11/09. The notion of equivalence in HoTT/UF.<br />The notion of equivalence in HoTT/UF.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111382482977842039\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111382482977842039</span></a></p><p>* 2023/11/13. Constructive taboos.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111405121300053710\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111405121300053710</span></a></p><p>*2023/12/07. Exhaustibly searchable sets in higher-type computation.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111540938183855671\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111540938183855671</span></a></p><p>*2024/01/03. The delay monad, searchable types and totally separated types.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111666070245799946\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111666070245799946</span></a></p><p>*2024/01/21. Computability at higher types.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111795547575914525\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111795547575914525</span></a></p><p>*2024/01/29. How I view the formalization of mathematics.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111835176816331626\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111835176816331626</span></a></p><p>*2024/02/02. A mathematical coincidence?<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/111863796141320384\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/111863796141320384</span></a></p><p>2/</p>"
},
"updated": "2024-02-02T21:08:59Z",
"attachment": [],
"tag": [],
"replies": {
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890156808981377/replies",
"type": "Collection",
"first": {
"type": "CollectionPage",
"next": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890156808981377/replies?min_id=111874742744054699&page=true",
"partOf": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890156808981377/replies",
"items": [
"https://mathstodon.xyz/users/MartinEscardo/statuses/111874742744054699"
]
}
},
"likes": {
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890156808981377/likes",
"type": "Collection",
"totalItems": 15
},
"shares": {
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/110890156808981377/shares",
"type": "Collection",
"totalItems": 2
}
}