Cauchy Completions and the Rule of Unique Choice in Relational Doctrines

Saved in:
Bibliographic Details
Published inTheory and applications of categories Vol. 43; pp. 243 - 280
Main Authors Dagnino, Francesco, Pasquali, Fabio
Format Journal Article
LanguageEnglish
Published 2025
Online AccessGet full text
ISSN1201-561X
1201-561X
DOI10.70930/tac/ak1jwor1

Cover

Author Pasquali, Fabio
Dagnino, Francesco
Author_xml – sequence: 1
  givenname: Francesco
  surname: Dagnino
  fullname: Dagnino, Francesco
– sequence: 2
  givenname: Fabio
  surname: Pasquali
  fullname: Pasquali, Fabio
BookMark eNqFkEtLAzEYRYNUsK0u3ecPTJvHPJcyPioUhGLB3ZDHFyY1TepkhjL_3moV3Lm6d3HPXZwZmvjgAaFbShYFqThZ9kItxTvdHUNHL9CUMkKTLKdvkz_9Cs1i3BHCWJ7mU7SqxaDaEddhf3DQ2-AjFl7jvgW8GRzgYPDW248BcN0GqwBbjzfgxNdUOHwfVN9ZD_EaXRrhItz85BxtHx9e61Wyfnl6ru_WiWI87RPNU8YLzgqitSG6kERXUkhjVFWWSpcFJwZyI1Mjq5xBxqisNGRUgcqMzDSfo8X5d_AHMR6Fc82hs3vRjQ0lzbeH5uSh-fVwApIzoLoQYwfmn_0nNvZmZQ
Cites_doi 10.1007/bfb0060437
10.1090/pspum/017/0257175
10.1007/bf02924823
10.1007/bf02924844
10.1016/j.apal.2014.10.005
10.1017/jsl.2016.32
10.1023/a:1024274315778
10.4153/cjm-1984-034-4
10.1111/j.1746-8361.1969.tb01194.x
10.1017/s096012950200364x
10.1093/oso/9780198537816.003.0005
10.1016/s0022-4049(98)00115-7
10.1515/tmj-2017-0106
10.1145/3531130.3533337
10.1016/0022-4049(87)90121-6
10.1515/9781501502620
10.1017/s0960129521000207
10.1017/s0305004100057534
10.2307/2268577
10.1007/s10817-006-9062-x
10.1007/s11787-013-0080-2
10.1017/cbo9781107517288
10.2140/pjm.1986.124.275
10.1016/0022-4049(72)90019-9
10.1007/bfb0081344
ContentType Journal Article
DBID AAYXX
CITATION
ADTOC
UNPAY
DOI 10.70930/tac/ak1jwor1
DatabaseName CrossRef
Unpaywall for CDI: Periodical Content
Unpaywall
DatabaseTitle CrossRef
Database_xml – sequence: 1
  dbid: UNPAY
  name: Unpaywall
  url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISSN 1201-561X
EndPage 280
ExternalDocumentID 10.70930/tac/ak1jwor1
10_70930_tac_ak1jwor1
GroupedDBID -~9
123
29Q
2WC
AAYXX
ABDBF
ACGFO
ACIPV
ACIWK
ACUHS
AENEX
AIAGR
ALMA_UNASSIGNED_HOLDINGS
AMVHM
C1A
CITATION
E3Z
EAD
EAP
EPL
ESX
FRJ
FRP
M~E
OK1
OVT
P2P
PQQKQ
PZZ
REM
RNS
TR2
TUS
XSB
~8M
ADTOC
UNPAY
ID FETCH-LOGICAL-c234t-d342373270ddf0d7b0d9babffc988cd8730fe6fb4fb962e521b9de51cec5fb5d3
IEDL.DBID UNPAY
ISSN 1201-561X
IngestDate Sat Sep 06 11:41:12 EDT 2025
Wed Oct 01 05:22:20 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c234t-d342373270ddf0d7b0d9babffc988cd8730fe6fb4fb962e521b9de51cec5fb5d3
OpenAccessLink https://proxy.k.utb.cz/login?url=http://www.tac.mta.ca/tac/volumes/43/9/43-09.pdf
PageCount 38
ParticipantIDs unpaywall_primary_10_70930_tac_ak1jwor1
crossref_primary_10_70930_tac_ak1jwor1
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2025-00-00
PublicationDateYYYYMMDD 2025-01-01
PublicationDate_xml – year: 2025
  text: 2025-00-00
PublicationDecade 2020
PublicationTitle Theory and applications of categories
PublicationYear 2025
References ref13
ref12
ref15
ref14
ref11
ref10
ref0
ref2
ref1
ref17
ref16
ref19
ref18
ref24
ref23
ref20
ref22
ref21
ref8
ref7
ref9
ref4
ref3
ref6
ref5
References_xml – ident: ref1
  doi: 10.1007/bfb0060437
– ident: ref15
  doi: 10.1090/pspum/017/0257175
– ident: ref23
  doi: 10.1007/bf02924823
– ident: ref16
  doi: 10.1007/bf02924844
– ident: ref8
  doi: 10.1016/j.apal.2014.10.005
– ident: ref0
  doi: 10.1017/jsl.2016.32
– ident: ref5
  doi: 10.1023/a:1024274315778
– ident: ref10
  doi: 10.4153/cjm-1984-034-4
– ident: ref14
  doi: 10.1111/j.1746-8361.1969.tb01194.x
– ident: ref20
  doi: 10.1017/s096012950200364x
– ident: ref21
  doi: 10.1093/oso/9780198537816.003.0005
– ident: ref13
  doi: 10.1016/s0022-4049(98)00115-7
– ident: ref19
  doi: 10.1515/tmj-2017-0106
– ident: ref6
  doi: 10.1145/3531130.3533337
– ident: ref4
  doi: 10.1016/0022-4049(87)90121-6
– ident: ref18
  doi: 10.1515/9781501502620
– ident: ref7
  doi: 10.1017/s0960129521000207
– ident: ref12
  doi: 10.1017/s0305004100057534
– ident: ref24
  doi: 10.2307/2268577
– ident: ref9
  doi: 10.1007/s10817-006-9062-x
– ident: ref17
  doi: 10.1007/s11787-013-0080-2
– ident: ref11
  doi: 10.1017/cbo9781107517288
– ident: ref3
  doi: 10.2140/pjm.1986.124.275
– ident: ref22
  doi: 10.1016/0022-4049(72)90019-9
– ident: ref2
  doi: 10.1007/bfb0081344
SSID ssj0022646
Score 2.3368056
SourceID unpaywall
crossref
SourceType Open Access Repository
Index Database
StartPage 243
Title Cauchy Completions and the Rule of Unique Choice in Relational Doctrines
URI http://www.tac.mta.ca/tac/volumes/43/9/43-09.pdf
UnpaywallVersion publishedVersion
Volume 43
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVEBS
  databaseName: EBSCOhost Academic Search Ultimate
  customDbUrl: https://search.ebscohost.com/login.aspx?authtype=ip,shib&custid=s3936755&profile=ehost&defaultdb=asn
  eissn: 1201-561X
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0022646
  issn: 1201-561X
  databaseCode: ABDBF
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://search.ebscohost.com/direct.asp?db=asn
  providerName: EBSCOhost
– providerCode: PRVEBS
  databaseName: EBSCOhost Mathematics Source - HOST
  customDbUrl:
  eissn: 1201-561X
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0022646
  issn: 1201-561X
  databaseCode: AMVHM
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://www.ebsco.com/products/research-databases/mathematics-source
  providerName: EBSCOhost
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 1201-561X
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0022646
  issn: 1201-561X
  databaseCode: M~E
  dateStart: 19950101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LS8NAEB5qPYgH36KiZQ-ip7RJN4_doxSlCBUVA_UU9km1NS02odSDv91J0xRFEC_LHoZh2ZnZbwZmvgU4RxgQtAgkFSnl-NrzHBYo44RcSD_E4GrLYhq5dxd2Y_-2H_RrUH2CWHRVZqjoLVvQPuC2VUbptOXTFsfFcXlzou0arIcBZt91WI_v7q-ei7oKsczBdKBfUmlGWKu7Cw1i6L3Oxu_eD-jZyNOJmM_EaPQNT2624aGayinbSIbNPJNN9fGbpPHfR92BrWVySa5Kb9iFmkn3YLO3Ymad7kO3I3I1mJPiHSh4t9HpiEg1QRHymI8MGVsSL0hdSWcwxleEvKSk6phD3QhKWTEwOD2A-Ob6qdN1lr8pOKpN_czRBddfRNuRq7V1dSRdzaWQ1irOmNIMQ92a0ErfSh62DcK65NoEnjIqsDLQ9BDq6Tg1R0AUi7j2aKAoUz6jhjOhjWRhGBmfU-Edw0V10cmkJM1IsNhYWCTBi0oqixzD5coMf0ue_FvyFOrZe27OMFfIZAPWep_XjaWTfAHi7cZj
linkProvider Unpaywall
linkToUnpaywall http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LS8NAEF5qexAPvsWKyh5ET2mTbh67x1IsRWhRMVBPYZ9UW5PSJpT6650kTVEE8bLsYRiWnZn9ZmDmW4RuAAY4yQNJBlJarnIci3pSWz7jwvUhuDoin0YejvxB6D6MvXENVZ8g5l2VKSj6SAvaB9i2yyhdtl3SZrBYNmvNldlBDd-D7LuOGuHosfua11WAZRakA-OSSjOAWt0uNPCp875KFs4P6NnN4jlfr_hs9g1P-gfoqZrKKdtIpq0sFS35-Zuk8d9HPUT7m-QSd0tvOEI1HR-jveGWmXV5ggY9nsnJGufvQM67DU6HeawwiODnbKZxYnBYkLri3iSBVwS_xbjqmAPdAEppPjC4PEVh__6lN7A2vylYskPc1FI5119AOoGtlLFVIGzFBBfGSEapVBRC3WjfCNcI5nc0wLpgSnuO1NIzwlPkDNXjJNbnCEsaMOUQTxIqXUo0o1xpQX0_0C4j3Gmi2-qio3lJmhFBsVFYJIKLiiqLNNHd1gx_S178W_IS1dNFpq8gV0jF9cY9vgBBNcUy
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Cauchy+Completions+and+the+Rule+of+Unique+Choice+in+Relational+Doctrines&rft.jtitle=Theory+and+applications+of+categories&rft.au=Dagnino%2C+Francesco&rft.au=Pasquali%2C+Fabio&rft.date=2025&rft.issn=1201-561X&rft.eissn=1201-561X&rft.volume=43&rft.spage=243&rft.epage=280&rft_id=info:doi/10.70930%2Ftac%2Fak1jwor1&rft.externalDBID=n%2Fa&rft.externalDocID=10_70930_tac_ak1jwor1
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1201-561X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1201-561X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1201-561X&client=summon