Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294567701> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4294567701 abstract "Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also address the relation of our axiom systems to alternative proposals from the literature, including an axiom set proposed by Freyd and Scedrov for which we reveal a technical issue (when encoded in free logic where free variables range over defined and undefined objects): either all operations, e.g. morphism composition, are total or their axiom system is inconsistent. The repair for this problem is quite straightforward, however." @default.
- W4294567701 created "2022-09-04" @default.
- W4294567701 creator A5055110324 @default.
- W4294567701 creator A5059068538 @default.
- W4294567701 date "2016-09-06" @default.
- W4294567701 modified "2023-10-14" @default.
- W4294567701 title "Axiomatizing Category Theory in Free Logic" @default.
- W4294567701 doi "https://doi.org/10.48550/arxiv.1609.01493" @default.
- W4294567701 hasPublicationYear "2016" @default.
- W4294567701 type Work @default.
- W4294567701 citedByCount "0" @default.
- W4294567701 crossrefType "posted-content" @default.
- W4294567701 hasAuthorship W4294567701A5055110324 @default.
- W4294567701 hasAuthorship W4294567701A5059068538 @default.
- W4294567701 hasBestOaLocation W42945677011 @default.
- W4294567701 hasConcept C108710211 @default.
- W4294567701 hasConcept C118615104 @default.
- W4294567701 hasConcept C134306372 @default.
- W4294567701 hasConcept C136119220 @default.
- W4294567701 hasConcept C137212723 @default.
- W4294567701 hasConcept C151797676 @default.
- W4294567701 hasConcept C153046414 @default.
- W4294567701 hasConcept C154945302 @default.
- W4294567701 hasConcept C167729594 @default.
- W4294567701 hasConcept C17435882 @default.
- W4294567701 hasConcept C177148314 @default.
- W4294567701 hasConcept C177264268 @default.
- W4294567701 hasConcept C199360897 @default.
- W4294567701 hasConcept C202444582 @default.
- W4294567701 hasConcept C203265346 @default.
- W4294567701 hasConcept C2318724 @default.
- W4294567701 hasConcept C2524010 @default.
- W4294567701 hasConcept C25343380 @default.
- W4294567701 hasConcept C33923547 @default.
- W4294567701 hasConcept C41008148 @default.
- W4294567701 hasConcept C41608201 @default.
- W4294567701 hasConcept C51460 @default.
- W4294567701 hasConcept C556429856 @default.
- W4294567701 hasConcept C77088390 @default.
- W4294567701 hasConcept C78550038 @default.
- W4294567701 hasConceptScore W4294567701C108710211 @default.
- W4294567701 hasConceptScore W4294567701C118615104 @default.
- W4294567701 hasConceptScore W4294567701C134306372 @default.
- W4294567701 hasConceptScore W4294567701C136119220 @default.
- W4294567701 hasConceptScore W4294567701C137212723 @default.
- W4294567701 hasConceptScore W4294567701C151797676 @default.
- W4294567701 hasConceptScore W4294567701C153046414 @default.
- W4294567701 hasConceptScore W4294567701C154945302 @default.
- W4294567701 hasConceptScore W4294567701C167729594 @default.
- W4294567701 hasConceptScore W4294567701C17435882 @default.
- W4294567701 hasConceptScore W4294567701C177148314 @default.
- W4294567701 hasConceptScore W4294567701C177264268 @default.
- W4294567701 hasConceptScore W4294567701C199360897 @default.
- W4294567701 hasConceptScore W4294567701C202444582 @default.
- W4294567701 hasConceptScore W4294567701C203265346 @default.
- W4294567701 hasConceptScore W4294567701C2318724 @default.
- W4294567701 hasConceptScore W4294567701C2524010 @default.
- W4294567701 hasConceptScore W4294567701C25343380 @default.
- W4294567701 hasConceptScore W4294567701C33923547 @default.
- W4294567701 hasConceptScore W4294567701C41008148 @default.
- W4294567701 hasConceptScore W4294567701C41608201 @default.
- W4294567701 hasConceptScore W4294567701C51460 @default.
- W4294567701 hasConceptScore W4294567701C556429856 @default.
- W4294567701 hasConceptScore W4294567701C77088390 @default.
- W4294567701 hasConceptScore W4294567701C78550038 @default.
- W4294567701 hasLocation W42945677011 @default.
- W4294567701 hasOpenAccess W4294567701 @default.
- W4294567701 hasPrimaryLocation W42945677011 @default.
- W4294567701 hasRelatedWork W1608918607 @default.
- W4294567701 hasRelatedWork W1979163299 @default.
- W4294567701 hasRelatedWork W2517957834 @default.
- W4294567701 hasRelatedWork W2949076175 @default.
- W4294567701 hasRelatedWork W3203652527 @default.
- W4294567701 hasRelatedWork W3204338969 @default.
- W4294567701 hasRelatedWork W4294567701 @default.
- W4294567701 hasRelatedWork W624501779 @default.
- W4294567701 hasRelatedWork W925680482 @default.
- W4294567701 hasRelatedWork W995428388 @default.
- W4294567701 isParatext "false" @default.
- W4294567701 isRetracted "false" @default.
- W4294567701 workType "article" @default.