Issues · web-cats / Questions · GitLab

RDF and Setoids

#25 · created Dec 29, 2020 by Henry Story
- 2
updated Dec 30, 2020
Higher Dimensional Models of Networks

#24 · created Dec 27, 2020 by Henry Story
- 3
updated Jan 26, 2021
Category Theory for Protocols?

#23 · created Dec 10, 2020 by Henry Story
- 0
updated Dec 10, 2020
Functional Programming vs Logic Programming

#21 · created Mar 07, 2020 by Henry Story
- 1
updated Mar 07, 2020
Where is the naming semantics in the Functorial view of RDF DBs?

#20 · created Mar 07, 2020 by Henry Story
- 0
updated Mar 07, 2020
Description Logics, Modal Logic and Coalgebras

#19 · created Mar 06, 2020 by Henry Story
- 1
updated Mar 06, 2020
Transactions on the web? CT models?

#18 · created Mar 02, 2020 by Henry Story
- 1
updated Mar 21, 2020
RDF ⇌ BiRel: Coherent Logic and Skolem Machines

#17 · created Feb 14, 2020 by Henry Story BiRel ⇌ RDF
- 2
updated Feb 16, 2020
BiRel ⇌ RDF: Relations of Arity > 2?

#16 · created Feb 13, 2020 by Henry Story BiRel ⇌ RDF
- 0
updated Feb 13, 2020
BiRel ⇌ RDF: Typed Grothendieck

#15 · created Feb 11, 2020 by Henry Story BiRel ⇌ RDF
- 2
updated Mar 07, 2020
Can mapping 2-Graphs to 1-Graphs explain unusual features of RDF?

#14 · created Jan 24, 2020 by Henry Story
- 1
updated Mar 12, 2020
Bicategory of Relations with quantification on relations?

#13 · created Jan 24, 2020 by Henry Story
- 0
updated Jan 24, 2020
Historical ancestors to RDF

#12 · created Jan 23, 2020 by Henry Story
- 1
updated Jan 26, 2020
generalise research on regular categories to Typeside

#11 · created Jan 21, 2020 by Henry Story
- 0
updated Jan 23, 2020
What is the Semantics of Datasets? How can they modelled in CT?

#10 · created Jan 19, 2020 by Henry Story
- 1
updated Jan 22, 2020
Is OWL/RDF typed or untyped? Should it be?

#9 · created Jan 09, 2020 by Henry Story
- 9
updated Jul 24, 2020
Relation between Bicategories of Relations and RDFHom

#8 · created Jan 02, 2020 by Henry Story BiRel ⇌ RDF
- 2
updated Feb 11, 2020
What kind of Algebra is RDF? OWL?

#7 · created Jan 02, 2020 by Henry Story
- 0
updated Jan 02, 2020
How is the Open World Assumption of RDF revealed through Cats

#6 · created Jan 02, 2020 by Henry Story
- 2
updated Apr 12, 2020
𝕊et is a subcategory of Rel: what is the advantage then of each?

#5 · created Jan 02, 2020 by Henry Story
- 2
updated Dec 10, 2020