Reference : Axiom Systems for Category Theory in Free Logic
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Mathematics
Computational Sciences
http://hdl.handle.net/10993/37446
Axiom Systems for Category Theory in Free Logic
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Scott, Dana S. [Berkeley University of California - UC Berkeley]
2018
Archive of Formal Proofs
Yes
International
2150-914x
2150-914x
Germany
[en] own ; Category Theory ; Free Logic ; Higher Order Logic ; Semantical Embedding
http://hdl.handle.net/10993/37446
https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
document-37.pdfPublisher postprint213.26 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.