urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:	edition	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1	body	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.1	div1	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.1.1	p	Formale Modellierung von Wissen spielt in den Digital Humanities eine nicht zu unterschätzende Rolle. Daten müssen organisiert, kategorisiert, gespeichert, abgerufen und verarbeitet werden. Hierzu werden häufig Datenbank- und Ontologiesprachen wie SQL und RDF/OWL oder auch semantische Netzwerke eingesetzt, die als <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">informatische</hi> Systeme robust und etabliert sind. Ihre Verwendung setzt zumeist nach der eigentlichen geisteswissenschaftlichen Arbeit an, d.h. erst, wenn die konzeptuelle Arbeit abgeschlossen ist, werden die so gewonnenen Ergebnisse formalisiert. Dieses Vorgehen birgt das Risiko, dass sich die, im ersten Arbeitsschritt gewonnenen Ergebnisse nicht ohne Weiteres formalisieren lassen. Die Gründe hierfür sind vielfältig und reichen von unzureichender Rigidität der informellen Analyse bis zur mangelnden Expressivität des verwendeten Formalismus. Hinzu kommt, dass bestehende Formalismen die kreative Beschäftigung mit den Inhalten erschweren und die Beherrschung der technischen Systeme erfordert häufig eine steile Lernkurve.<ref xmlns="http://www.tei-c.org/ns/1.0" target="ftn1" n="1" />
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.1.2	p	In diesem Beitrag werden <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ontology logs (ologs)</hi> als Framework für konzeptuelle Arbeit und Wissensmodellierung in den Digital Humanities vorgestellt. <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ologs</hi> sind im Bereich der angewandten mathematischen Kategorientheorie als Framework entwickelt worden, mit dem Ziel ein gleichermaßen mächtiges wie benutzerfreundliches Modell zur Wissensrepräsentation bereitzustellen, das in der Lage ist, die geisteswissenschaftliche Forschung zu unterstützen und leichter an mathematisch-informatische Theorien und Techniken anschlussfähig zu machen.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.2	div1	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.2.1	p	Die mathematische Kategorientheorie wurde in den 1940er-Jahren von Saunders Mac Lane und Samuel Eilenberg entwickelt, um verschiedene mathematische Felder und Theorien zu vergleichen. Die grundlegende Einsicht hinter der Kategorientheorie formuliert Mac Lane (1998: 1) wie folgt: “Category theory starts with the observation that many properties of mathematical systems can be unified and simplified by a presentation with diagrams of arrows.”
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.2.2	p	Eine Kategorie <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">C</hi> besteht aus einer Sammlung von Objekten <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ob(C)</hi> und Pfeilen (<hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">→</hi>) zwischen Objektpaaren A,B <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">∈</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ob(C)</hi>, sodass <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">f : A </hi><hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">→</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic"> B</hi>. Des Weiteren existieren Pfeile zwischen zwei Kategorien <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">C</hi> und <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">D</hi>, sodass <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">C </hi><hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">→</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic"> D</hi> eine strukturerhaltende Abbildung ist, die Funktor genannt wird. Diese einfache Systematik und die Möglichkeit, Pfeile zu kombinieren eröffnen weitgehende Abstraktionsmöglichkeiten, die so weit gehen, große Teile der Mathematik (Algebra, Topologie, Mengentheorie, Grafentheorie, Gruppentheorie, etc.) zu fundieren.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.2.3	p	In der Regel wird die Kategorientheorie in der Mathematik verwendet, um Theorien zu analysieren und weiter zu verallgemeinern. Man könnte auch davon sprechen, dass es sich um Metamathematik handelt, die Mathematik als Anwendungsgegenstand hat.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.2.4	p	Und obwohl die Kategorientheorie als <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">allgemeine Theorie mathematischer Strukturen</hi> ihren Anfang nahm, beschränken sich ihre Anwendungsmöglichkeiten nicht auf die Mathematik, sie kann auf viele weitere Gegenstandsbereiche appliziert werden, zu denen nun auch die Digital Humanities gehören.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.3	div1	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.3.1	p	Die angewandte Kategorientheorie oder <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">applied category theory (ACT)</hi> ist eine neuere Entwicklung,<ref xmlns="http://www.tei-c.org/ns/1.0" target="ftn2" n="2" /> mit dem Ziel kategorientheoretische Ideen aus der Mathematik in andere wissenschaftliche Disziplinen zu übertragen. So heißt es programmatisch auf der ACT-Website im Proposal zu einem Workshop mit dem klingende Titel „Towards An Integrative Science“:
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.3.2	p	Dies ist unter anderem in der Physik (Abramsky / Coecke 2007; Baez / Stay 2010), Linguistik (Coecke et al. 2010), den Neurowissenschaften (Brown / Porter 2008), Informatik (Ehrig et al. 2001) und der Philosophie (Landry 2017) geschehen.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.3.3	p	Gerade in der Informatik spielt die Kategorientheorie eine ausgezeichnete Rolle, da formale Logik und Mengentheorie in der theoretischen Informatik und funktionale Programmiersprachen wie Haskell oder Module wie Catlab.jl für Julia in der angewandten Informatik durch sie verbunden sind.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.3.4	p	In den oben genannten Fällen hat sich gezeigt, dass die angewandte Kategorientheorie einige für die Digital Humanities attraktive Eigenschaften aufweist: Der hohe Abstraktionsgrad und der Umstand, dass nur Objekte und Pfeile in einer Kategorie vorkommen, erlauben einen leichten Einstieg in kategorienthoretische Modellierung und der Einsatz von kommutativen Diagrammen zur Analyse macht die Verwendung benutzerfreundlich. Gleichzeitig können Modellierungen aufgrund der Modularität und Kompositionalität der Theorie auch sehr komplexe Sachverhalte repräsentieren, ohne selbst unüberschaubar zu werden. Darüber hinaus bietet die Kategorientheorie vielfältige Anschlussmöglichkeiten an andere mathematische Bereiche. Sollte sich herausstellen, dass formale Logik oder Grafentheorie benötigt wird, ist es ein Leichtes die nötigen Übergänge herzustellen.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.3.5	p	In diesem Sinne kann die Kategorientheorie in den Digital Humanities als leichtgewichtiges Modellierungstool eingesetzt werden, das nach Bedarf erweitert und skaliert werden kann. Dies soll nun anhand der von Spivak und Kent (2012) entwickelten <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ontology Logs</hi> illustriert werden.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.4	div1	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.4.1	p	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ologs</hi> sind eine konkrete Anwendung der Kategorientheorie zur Wissensmodellierung. Der Ausgangspunkt ist natürliche Sprache, darum ist dieses Modell besonders für die textbasierten Digital Humanities geeignet. Ein <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">olog</hi> besteht zunächst nur aus einer Sammlung gelabelter Objekte und Pfeile, die funktionale Relationen zwischen den Objekten ausdrücken. Diese einfachen <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> können bei Bedarf um einfache und komplexe <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Typen</hi> erweitert werden, d.h. um die Charakterisierung einer Menge, in der das Objekt Element ist. Ebenso können die Pfeile weiter spezifiziert werden als <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Aspekte</hi> oder <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Attribute</hi>.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.4.2	p	Zu beachten ist, dass <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> immer perspektivisch an einen bestimmten Standpunkt gebunden sind, d.h. ausgehend von einer individuellen Lesart wird eine Konzeption entwickelt und Schritt für Schritt mit mehr Informationen angereichert, bzw. in Zusammenarbeit mit anderen Lesarten abgeglichen. Die Konstruktion von <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> stellt sicher, dass das Ergebnis strukturell valide ist und nicht faktisch korrekt. Dies ermöglicht es, im Modell mit Diskrepanzen umzugehen und Gemeinsamkeiten und Differenzen zwischen Modellierungen mit den, durch die Kategorientheorie bereitgestellten mathematischen Werkzeugen zu bearbeiten. Die Darstellung als kommutative Diagramme erleichtern die Kommunikation über unterschiedliche Interpretationen des Untersuchungsgegenstandes und unterstützen den geisteswissenschaftlichen Reflexionsprozess.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.4.3	p	Da es jederzeit möglich ist ein bestehendes <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">olog</hi> um weiter Pfeile und Objekte zu erweitern, können neue Informationen – wie zusätzliche Aspekte und Attribute – hinzugefügt werden, ohne das bereits entwickelte Schema von neuem aufbauen zu müssen.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.4.4	p	Da <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> von Grund auf modular sind, können genaue Schnittstellen durch Funktoren spezifiziert werden, die kollaboratives Arbeiten erleichtern. <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ologs</hi> können klar getrennte Abstraktionsebenen enthalten, die tief miteinander verlinkt sind, ebenso können mehrere <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> miteinander verbunden werden, um unterschiedliche Facetten des Untersuchungsgegenstands oder Sichtweisen auf ihn zu integrieren.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.5	div1	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.5.1	p	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ologs</hi> sind eng verwandt mit anderen Wissensrepräsentationen wie RDF/OWL, Datenbanken und semantischen Netzen, unterscheiden sich von ihnen jedoch in einigen wichtigen Punkten:
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.5.2	p	Im Vergleich zu RDF/OWL zeichnen sich <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> durch eine höhere Expressivität aus, da in <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> Kommutativität ausgedrückt werden kann. Aussagen der Art “Die Schwester meines Vaters ist meine Tante” können also ausgedrückt werden, da die Äquivalenz der beiden Pfade <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌜</hi> ich <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌝</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">→</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌜</hi> Tante <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌝</hi> und <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌜</hi> ich <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌝</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">→</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌜</hi> Vater <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌝</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">→</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌜</hi> Schwester <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌝</hi> spezifiziert werden können, sodass <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌜</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" style="font-family:Helvetica">Tante</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌝</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" style="font-family:Helvetica" xml:space="preserve"> und </hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌜</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" style="font-family:Helvetica">Schwester</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" rend="math">⌝</hi> <hi xmlns="http://www.tei-c.org/ns/1.0" style="font-family:Helvetica" xml:space="preserve"> Label des gleichen Objekts (Entität) sind.</hi>
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.5.3	p	Im Vergleich mit Datenbanken zeichnen sich <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> durch höhere Flexibilität aus, sie sind einfacher zu lesen, weniger präskriptiv und lassen sich leichter um neue Informationen erweitern. Dennoch lassen sich <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> direkt als Datenbanken implementieren, indem Objekte und Pfeile den Reihen und Spalten von Tabellen zugewiesen werden.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.5.4	p	Semantische Netze und <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> sind sich sehr ähnlich, unterscheiden sich jedoch hinsichtlich der Robustheit: In semantischen Netzen müssen bei Veränderungen oft viele Links synchronisiert werden, was zu Fehlern führen kann, während bei <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> neue Pfade ohne Veränderung des bestehenden kreiert werden können.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.6	div1	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.6.1	p	Der Vortrag ist zweigeteilt: Im ersten Teil werden <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> mit den zugehörigen Formalismen und Diagrammen eingeführt und das Potential der kategorientheoretischen Ontologieentwicklung und Wissensmodellierung für die Digital Humanities herausgearbeitet. Besonderes Gewicht wird hierbei auf der präzisen Formulierung perspektivisch gebundener Sichtweisen auf Untersuchungsgegenstände, flexible Erweiter- und Kombinierbarkeit von <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> und den kollaborativen Möglichkeiten der Modellierung liegen. Darüber hinaus wird die Unterstützung des geisteswissenschaftlichen Denkens durch <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> und damit verbundene <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">rules of good practice</hi> untersucht werden.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.6.2	p	Im zweiten Teil werden dann die im ersten Teil gewonnen Einsichten anhand von Beispielen erläutert und gezeigt, wie die Wissensmodellierung durch <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> in den Workflow textbasierter Digital Humanities Projekte – wie zum Beispiel CATMA<ref xmlns="http://www.tei-c.org/ns/1.0" target="ftn3" n="3" /> – integriert werden kann.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:1.6.3	p	Das übergreifende Ziel des Vortrags ist es zu zeigen, dass eine mathematisch-theoretische Fundierung der Ontologieentwickung und Wissensmodellierung sowohl das geisteswissenschaftliche Denken und Arbeiten unterstützen kann, als auch die technische Entwicklung und informatische Implementation treiben kann. Die Kategorientheorie hat in der Mathematik und Informatik sowie in Naturwissenschaften wie Physik, Chemie und Genetik bereits erfolgreich unter Beweis gestellt, ein geeignetes Denkwerkzeug zu sein. Der größte Nutzen in diesen Feldern ist durch Systematisierung und Vergleichbarkeit mit bzw. Anschlussfähigkeit an andere Forschungsgebiete entstanden. Diese Effekte gilt es auch für die <anchor xmlns="http://www.tei-c.org/ns/1.0" xml:id="OLE_LINK1" />Digital Humanities nutzbar zu machen.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2	back	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.1	notes	<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="ftn1" n="1"> Ein kurzer Blick in “Ontology Development 101: A Guide to Creating Your First Ontology” (https://protege.stanford.edu/publications/ontology_development/ontology101.pdf) vermag das zu bestätigen.</note><note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="ftn2" n="2"> Wenngleich Kategorientheorie schon immer auch angewendet wurde, so hat sich in den letzten Jahren eine lebhafte <hi rend="italic">scientific community</hi> gebildet (vgl. https://www.appliedcategorytheory.org und https://golem.ph.utexas.edu/category/), seit 2018 gibt es auch ein OpenAccess Journal (https://compositionality-journal.org) </note><note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="ftn3" n="3"> CATMA <hi style="font-family:Courier New"></hi> – Computer Assisted Text Markup and Analysis (https://www.catma.de) </note>
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2	bibliogr	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1	listBibl	
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.1	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">ACT2018</hi> (2018): “Towards An Integrative Science”, http://www.appliedcategorytheory.org/workshops/ [letzter Zugriff 15.Juli 2021].
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.2	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Abramsky, Samson / Coecke, Bob</hi> (2007): “A categorical semantics of quantum protocols”, https://arxiv.org/pdf/quant-ph/0402130.pdf [letzter Zugriff 15. Juli 2021].
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.3	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Baez, John C. / Stay, Mike</hi> (2010): “Physics, Topology, Logic and Computation: A Rosetta Stone”, <ref xmlns="http://www.tei-c.org/ns/1.0" target="https://arxiv.org/pdf/0903.0340.pdf">https://arxiv.org/pdf/0903.0340.pdf</ref> [letzter Zugriff 15. Juli 2021].
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.4	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Brown, Ronald / Porter, Timothy</hi> (2008): “Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience”, https://arxiv.org/pdf/math/0306223.pdf [letzter Zugriff 15. Juli 2021].
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.5	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Coecke, Bob / Sadrzadeh, Mehrnoosh / Clark, Stephen</hi> (2010): “Mathematical Foundations for a Compositional Distributional Model of Meaning”, https://arxiv.org/pdf/1003.4394.pdf [letzter Zugriff 15. Juli 2021].
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.6	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Ehrig, Hartmut / Mahr, Bernd / Große-Rhode, Martin / Cornelius, Felix / Zeitz, Philip</hi> (2001): <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Mathematisch-strukturelle Grundlagen der Informatik.</hi> Berlin: Springer.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.7	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold" xml:space="preserve">Landry, Elaine M. </hi>(2017): <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Categories for the working philosopher</hi>. Oxford: Oxford University Press.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.8	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Mac Lane, Saunders</hi> (1998): <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Categories for the working mathematician</hi>. New York: Springer.
urn:cts:dhd:2022.gerstorfer_dominik_kategorientheoretische_ontologieentwicklu:2.2.1.9	bibl	<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Spivak, David I. / Kent, Robert E.</hi> (2012): “Ologs: A Categorical Framework for Knowledge Representation”, in: <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">PLoS ONE</hi> 7(1): e24274. https://doi.org/10.1371/journal.pone.0024274