Academic Journal
The existential completion
| العنوان: | The existential completion |
|---|---|
| المؤلفون: | Trotta D. |
| المساهمون: | Trotta, D. |
| بيانات النشر: | Mount Allison University |
| سنة النشر: | 2020 |
| المجموعة: | Padua Research Archive (IRIS - Università degli Studi di Padova) |
| مصطلحات موضوعية: | Doctrine, Existential completion, Property-like monad, Tripos |
| الوصف: | We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad. We also show that the existential completion of an elementary doctrine is again elementary. Finally we extend the notion of exact completion of an elementary existential doctrine to an arbitrary elementary doctrine. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/wos/WOS:000594117700043; volume:35; firstpage:1576; lastpage:1607; numberofpages:32; journal:THEORY AND APPLICATIONS OF CATEGORIES; https://hdl.handle.net/11577/3527700 |
| الاتاحة: | https://hdl.handle.net/11577/3527700 http://www.tac.mta.ca/tac/volumes/35/43/35-43.pdf |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.B1865550 |
| قاعدة البيانات: | BASE |
| ResultId |
1 |
|---|---|
| Header |
edsbas BASE edsbas.B1865550 905 3 Academic Journal academicJournal 905.017944335938 |
| PLink |
https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsbas&AN=edsbas.B1865550&custid=s6537998&authtype=sso |
| FullText |
Array
(
[Availability] => 0
)
Array ( [0] => Array ( [Url] => https://hdl.handle.net/11577/3527700# [Name] => EDS - BASE [Category] => fullText [Text] => View record in BASE [MouseOverText] => View record in BASE ) ) |
| Items |
Array
(
[Name] => Title
[Label] => Title
[Group] => Ti
[Data] => The existential completion
)
Array ( [Name] => Author [Label] => Authors [Group] => Au [Data] => <searchLink fieldCode="AR" term="%22Trotta+D%2E%22">Trotta D.</searchLink> ) Array ( [Name] => Author [Label] => Contributors [Group] => Au [Data] => Trotta, D. ) Array ( [Name] => Publisher [Label] => Publisher Information [Group] => PubInfo [Data] => Mount Allison University ) Array ( [Name] => DatePubCY [Label] => Publication Year [Group] => Date [Data] => 2020 ) Array ( [Name] => Subset [Label] => Collection [Group] => HoldingsInfo [Data] => Padua Research Archive (IRIS - Università degli Studi di Padova) ) Array ( [Name] => Subject [Label] => Subject Terms [Group] => Su [Data] => <searchLink fieldCode="DE" term="%22Doctrine%22">Doctrine</searchLink><br /><searchLink fieldCode="DE" term="%22Existential+completion%22">Existential completion</searchLink><br /><searchLink fieldCode="DE" term="%22Property-like+monad%22">Property-like monad</searchLink><br /><searchLink fieldCode="DE" term="%22Tripos%22">Tripos</searchLink> ) Array ( [Name] => Abstract [Label] => Description [Group] => Ab [Data] => We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad. We also show that the existential completion of an elementary doctrine is again elementary. Finally we extend the notion of exact completion of an elementary existential doctrine to an arbitrary elementary doctrine. ) Array ( [Name] => TypeDocument [Label] => Document Type [Group] => TypDoc [Data] => article in journal/newspaper ) Array ( [Name] => Language [Label] => Language [Group] => Lang [Data] => English ) Array ( [Name] => NoteTitleSource [Label] => Relation [Group] => SrcInfo [Data] => info:eu-repo/semantics/altIdentifier/wos/WOS:000594117700043; volume:35; firstpage:1576; lastpage:1607; numberofpages:32; journal:THEORY AND APPLICATIONS OF CATEGORIES; https://hdl.handle.net/11577/3527700 ) Array ( [Name] => URL [Label] => Availability [Group] => URL [Data] => https://hdl.handle.net/11577/3527700<br />http://www.tac.mta.ca/tac/volumes/35/43/35-43.pdf ) Array ( [Name] => Copyright [Label] => Rights [Group] => Cpyrght [Data] => info:eu-repo/semantics/openAccess ) Array ( [Name] => AN [Label] => Accession Number [Group] => ID [Data] => edsbas.B1865550 ) |
| RecordInfo |
Array
(
[BibEntity] => Array
(
[Languages] => Array
(
[0] => Array
(
[Text] => English
)
)
[Subjects] => Array
(
[0] => Array
(
[SubjectFull] => Doctrine
[Type] => general
)
[1] => Array
(
[SubjectFull] => Existential completion
[Type] => general
)
[2] => Array
(
[SubjectFull] => Property-like monad
[Type] => general
)
[3] => Array
(
[SubjectFull] => Tripos
[Type] => general
)
)
[Titles] => Array
(
[0] => Array
(
[TitleFull] => The existential completion
[Type] => main
)
)
)
[BibRelationships] => Array
(
[HasContributorRelationships] => Array
(
[0] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Trotta D.
)
)
)
[1] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => Trotta, D.
)
)
)
)
[IsPartOfRelationships] => Array
(
[0] => Array
(
[BibEntity] => Array
(
[Dates] => Array
(
[0] => Array
(
[D] => 01
[M] => 01
[Type] => published
[Y] => 2020
)
)
[Identifiers] => Array
(
[0] => Array
(
[Type] => issn-locals
[Value] => edsbas
)
[1] => Array
(
[Type] => issn-locals
[Value] => edsbas.oa
)
)
)
)
)
)
)
|
| IllustrationInfo |