Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990

With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.The exception is an outstanding and lengthy surveypaper by Joyal/Street (80 pp) on a growing subject: it givesan account of cla...

Full description

Saved in:
Bibliographic Details
Main Authors Carboni, Aurelio, Pedicchio, Maria C, Rosolini, Giuseppe
Format eBook Book
LanguageEnglish
Published Berlin, Heidelberg Springer-Verlag 1991
Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Springer
Edition1
SeriesLecture Notes in Mathematics
Subjects
Algebraic Topology
Categories (Mathematics) > Congresses
Computer science
Computer Science, general
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematics
Mathematics and Statistics
Topology
Online AccessGet full text
ISBN9783540547068
0387547061
9780387547060
3540547061
9783662166000
3662166003
ISSN0075-8434
1617-9692
DOI10.1007/BFb0084207

Cover

Abstract With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.The exception is an outstanding and lengthy surveypaper by Joyal/Street (80 pp) on a growing subject: it givesan account of classical Tannaka duality in such a way as tobe.
AbstractList With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.The exception is an outstanding and lengthy surveypaper by Joyal/Street (80 pp) on a growing subject: it givesan account of classical Tannaka duality in such a way as tobe.
With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and Computer Science. The exception is an outstanding and lengthy survey paper by Joyal/Street (80 pp) on a growing subject: it gives an account of classical Tannaka duality in such a way as to be accessible to the general mathematical reader, and to provide a key for entry to more recent developments and quantum groups. No expertise in either representation theory or category theory is assumed. Topics such as the Fourier cotransform, Tannaka duality for homogeneous spaces, braided tensor categories, Yang-Baxter operators, Knot invariants and quantum groups are introduced and studies. From the Contents: P.J. Freyd: Algebraically complete categories.- J.M.E. Hyland: First steps in synthetic domain theory.- G. Janelidze, W. Tholen: How algebraic is the change-of-base functor?.- A. Joyal, R. Street: An introduction to Tannaka duality and quantum groups.- A. Joyal, M. Tierney: Strong stacks andclassifying spaces.- A. Kock: Algebras for the partial map classifier monad.- F.W. Lawvere: Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes.- S.H. Schanuel: Negative sets have Euler characteristic and dimension.-.
With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and Computer Science. The exception is an outstanding and lengthy survey paper by Joyal/Street (80 pp) on a growing subject: it gives an account of classical Tannaka duality in such a way as to be accessible to the general mathematical reader, and to provide a key for entry to more recent developments and quantum groups. No expertise in either representation theory or category theory is assumed. Topics such as the Fourier cotransform, Tannaka duality for homogeneous spaces, braided tensor categories, Yang-Baxter operators, Knot invariants and quantum groups are introduced and studies. From the Contents: P.J. Freyd: Algebraically complete categories.- J.M.E. Hyland: First steps in synthetic domain theory.- G. Janelidze, W. Tholen: How algebraic is the change-of-base functor?.- A. Joyal, R. Street: An introduction to Tannaka duality and quantum groups.- A. Joyal, M. Tierney: Strong stacks andclassifying spaces.- A. Kock: Algebras for the partial map classifier monad.- F.W. Lawvere: Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes.- S.H. Schanuel: Negative sets have Euler characteristic and dimension.-
Author Carboni, Aurelio
Pedicchio, Maria C
Rosolini, Giuseppe
Author_xml – sequence: 1
  fullname: Carboni, Aurelio
– sequence: 2
  fullname: Pedicchio, Maria C
– sequence: 3
  fullname: Rosolini, Giuseppe
BackLink https://cir.nii.ac.jp/crid/1130282269978718080$$DView record in CiNii
BookMark eNqNkU1v1EAMhgdoUbdlL_yCOSAB0oZ6PN_caNRCUSUuiGs0mTjd0JApmbRo_z0Ji0BIIOGDLdnPa_njmB0MaSDGngp4JQDs6dlFDeAUgn3A1t46qRUoo6R2D9lKGGELbzw--lXTyoJxB2w1i3XhlFSH7MgLkFqgf8yOBViDEpyAI7bO-TPMJlFYK1cslmGi6zTu-LSlJbzmt2OKRE03XGee2iXPu2GicQhTl4bQ85iGlkYaIvEt9c1c5WX6kjb8cgr9bsPf3_U7jlig23DhPTxhh23oM61_xhP26eL8Y_muuPrw9rJ8c1UEFMaoogkOVS3RIFlUwTaqRQQTjFbkyIhaReVco2oQqGskY9pojGwgRmuNB3nCXu4bh3xD3_I29VOu7nuqU7rJ1R-XnNkXezbfjvOqNFZ7SkC1PKH6_YQZPf0LGsa47e7pH4rne8V8y693lKfqxwyRhmkMfXV-VpoZ9OD_g9TaGy2Wns_25NB1VewWL4QEdIjGz7tZ4cCB_A5nO6Gs
ContentType eBook
Book
Copyright Springer-Verlag Berlin Heidelberg 1991
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 1991
CorporateAuthor SpringerLink (Online service)
CorporateAuthor_xml – name: SpringerLink (Online service)
DBID RYH
DEWEY 512.55
DOI 10.1007/BFb0084207
DatabaseName CiNii Complete
DatabaseTitleList


DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
EISBN 9783540464358
3540464352
EISSN 1617-9692
Edition 1
1991 edition.
Editor Pedicchio, Maria Cristina
Carboni, Aurelio
Rosolini, Guiseppe
Editor_xml – sequence: 1
  givenname: Aurelio
  surname: Carboni
  fullname: Carboni, Aurelio
– sequence: 2
  givenname: Maria Cristina
  surname: Pedicchio
  fullname: Pedicchio, Maria Cristina
– sequence: 3
  givenname: Guiseppe
  surname: Rosolini
  fullname: Rosolini, Guiseppe
ExternalDocumentID 9783540464358
27337
10.1007/BFb0084207
EBC6842909
EBC5596517
BA13297722
GroupedDBID 02A
2HD
38.
50X
AABBV
AARNW
ABMNI
ACPRQ
ACZBQ
ADHDZ
ADHHQ
ADIHI
ADNMO
AEKFX
AEZAY
AFPTF
AGEPW
AGEUI
AKVJN
ALMA_UNASSIGNED_HOLDINGS
ASGFH
ASPBG
AURUN
AVWKF
AZFZN
AZZ
BBABE
CZZ
E6I
FMKYX
LDK
N2R
NIOIY
QHGAQ
RYH
SBO
SXVAG
SYRPR
VI1
~1X
~5D
FEDTE
HVGLF
-GH
29L
2HY
5GY
ABZEH
ACGFS
ACNCT
AENEX
AHDLI
DU5
RIG
RSU
UQL
WH7
ID FETCH-LOGICAL-a21664-da824b3262e724a7d4f2206a654e8e61b4c488d4b0125b2e66fc663d0cc776903
IEDL.DBID LDK
ISBN 9783540547068
0387547061
9780387547060
3540547061
9783662166000
3662166003
ISSN 0075-8434
IngestDate Fri Nov 08 03:53:58 EST 2024
Fri May 23 03:30:15 EDT 2025
Tue Dec 06 00:47:26 EST 2022
Wed Aug 20 01:30:07 EDT 2025
Tue Jan 23 03:28:46 EST 2024
Thu Jun 26 21:23:16 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCN 91035129
LCCallNum_Ident QA611-614.97QA612-61
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a21664-da824b3262e724a7d4f2206a654e8e61b4c488d4b0125b2e66fc663d0cc776903
Notes The Conference "Category Theory '90" was held in Como (Italy) from July 22 to July 28, 1990" -- Pref
Includes bibliographical references
OCLC 1076230810
793079265
PQID EBC5596517
PageCount 497
ParticipantIDs askewsholts_vlebooks_9783540464358
springer_books_10_1007_BFb0084207
springer_bookarchives_10_1007_BFb0084207
proquest_ebookcentral_EBC6842909
proquest_ebookcentral_EBC5596517
nii_cinii_1130282269978718080
PublicationCentury 1900
2000
PublicationDate c1991
2006
1991
1991.
20060929
2006-11-14
PublicationDateYYYYMMDD 1991-01-01
2006-01-01
2006-09-29
2006-11-14
PublicationDate_xml – year: 1991
  text: c1991
PublicationDecade 1990
2000
PublicationPlace Berlin, Heidelberg
PublicationPlace_xml – name: Berlin ; Tokyo
– name: Berlin, Heidelberg
PublicationSeriesTitle Lecture Notes in Mathematics
PublicationSeriesTitleAlternate Lecture Notes in Mathematics
PublicationYear 1991
2006
Publisher Springer-Verlag
Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Springer
Publisher_xml – name: Springer-Verlag
– name: Springer Berlin / Heidelberg
– name: Springer Berlin Heidelberg
– name: Springer
SSID ssj0000321773
ssj0002529331
ssj0025440
Score 1.8837094
Snippet With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and...
With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and...
With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and...
SourceID askewsholts
springer
proquest
nii
SourceType Aggregation Database
Publisher
SubjectTerms Algebraic Topology
Categories (Mathematics) -- Congresses
Computer science
Computer Science, general
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematics
Mathematics and Statistics
Topology
TableOfContents Some thoughts on the future of category theory -- What are locally generated categories? -- Some remarks on free monoids in a topos -- A generic sheaf representation for rings -- Normalization equivalence, kernel equivalence and affine categories -- Computing quotients of actions of a free category -- A long exact sequence in non-abelian cohomology -- Algebraically complete categories -- Order-enriched sketches for typed lambda calculi. -- First steps in synthetic domain theory -- Precategories and Galois theory -- How algebraic is the change-of-base functor? -- Fixpoint and loop constructions as colimits -- Preframe presentations present -- Strong stacks and classifying spaces -- Trees in distributive categories -- A note on relations relative to a factorization system -- Algebras for the partial map classifier monad -- Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes -- Concretely functorial programming -- Weak products over a locally Hausdorff locale -- Categorical interpolation: Descent and the Beck-Chevalley condition without direct images -- An n-categorical pasting theorem -- Topos-theoretic approaches to modality -- Negative sets have Euler characteristic and dimension -- Modular categories -- Some constructive results related to compactness and the (strong) Hausdorff property for locales -- An introduction to Tannaka duality and quantum groups.
Title Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990
URI https://cir.nii.ac.jp/crid/1130282269978718080
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=5596517
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6842909
https://doi.org/10.1007/BFb0084207
http://link.springer.com/10.1007/BFb0084207
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783540464358
Volume 1488
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NS8NAEB1Ki2APfotRK1U8eDAl2exH9mptKUo9qfQWdpMNlEoLTSvor3c2TVpbRHoJLEwSdpLMe7sz8wJwqwhiLmGhK5QvXWo5nJKp56YCv3KMlIrmf4nov_DeG30asEEF7stemLzavUxJ5pF6JSiqrfg7sa3jtcCmy6x05OPzckfFC5BeF2Bsx4QhlAXLgg-rxbVoSBHMDWlAi04PRgVi2s5yEyQfh2tKpuWN61BX2QiDDwamWYZoNB4O15jpRjI1x6juPvTL2S1KU0at-Uy34u8N4cdtp38ANWMbIQ6hYsZHUO8v9V2zY9hrW4GJyfSruejtP4H3bue13XOLXyu4ivicUzdRIaEauRsxglAlEpoS4nHFGTWh4b6mMT64hGoEMKaJ4TyNkZwkXhwLgSvq4BSq48nYnEEzxMuoUHsq0QE1kksjNNG40sEFr4pl7MDNL69Fnx95GjiLCn9T5EQsdKCBzozioT36NpuKzIVLtEHwRFbrQLN0c5SfX9SuRp2HNi6KOPPFfyY22yg96cBd6dzIWqhC3TcqxZtXXnbges30L5vzLWwuYHexayNdIi-hOpvOTQN5zExf5a_vD8he28k
linkProvider Springer Nature
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3dS8MwED-GQ3QPTqdi_Zzigw9W2jRNmlfnxnQfT1N8K0mbwVA22Iegf72XrtncEBFKS8i1Jdf2fr_r5S4A15Ig5pIwcrn0hUsNh5Oi77l9jl85WkpJs1UiOl3WfKZPr-FrAW5tLkw2292GJDNLvSwoqkzxd2JSx4t4EOZ9bj-0Fn9UvADpdQ7Gpk1ChLLAzxM6QsoRukyDMeIzxPlgc_HjI-uM8rbt91aqmdqbl6AkJ29ogNA4TSeISMPBYIWdrgVUM5xqlKFjRzifnvJ2N5uqu-Rrrfjjf1WwC0VtkiH2oKCHFSjbJSCquUWoQKmzKPs62Yedmqk7MRp_Vucp_wfw0qj3ak03X3HBlWbM1E1lRKhCSkc0J1TylPYJ8ZhkIdWRZr6iCT7PlCrEtVARzVg_Qc6SeknCOTrawSFsDEdDfQTVCC8jI-XJVAVUCyY0V0ShA4R-sExE4sDVD0XGH-9ZdHgS54-EIlUKIwfOUL9xMjB73wRZkdAwgTKIqUh2HahazcfZ-fmU1rh-X0NfiYU-_0vEBCGFJxy4sfqOjYTMi_7GtqbzUvEOXK6I_iZz_P_LXcBWs9dpx-3HbusEtufz0Mx2ChvT8UyfIeOZqvPsRf8GNKLoEw
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3fS8MwED5kQ3EP_piK9ecUH3ypa9M0aV-dDnVz-KAyn0rSpjAmVVwn6F_vpWumExERSiH02tJLm--7Xu4LwJEgiLnED2wu3NCmmsOJMHXslONXjiOloMUqEdc9dnFHr_p-fw4CUwtTzHY3KclJTYNWacry5nOSNj_FRaUWgie6jLxKESN12NU960z_rjgeUu0SmHWb-AhrnlsWd_iUI4zpBmPEZYj53vz0J0hxMCjb5rgzo2xqbl6DmhgNcTDCgSofITplg8EMU_2WXC0wq70MD-ZpJ1NVhifjXJ7E79-EIP_jjhWoKl0ksQpzKqvDslkaolGOFHWoXU_lYEdrsNTSehRPL2-NiRTAOty3z29bF3a5EoMt9PNTOxEBoRKpHlGcUMETmhLiMMF8qgLFXElj7OeESsQ7XxLFWBojl0mcOOYcA3BvAyrZU6Y2oRHgZUQgHZFIj6qQhYpLIjEwwvhYxGFsweEXp0avj0XWeBSV3UORQvmBBbvo6yge6L2rk69IdFiINoi1SIItaJheiIrzy6mu0flpC2Mo5rv8NxOdnAyd0IJj4_tIW4hSDDgyWs-fjrfgYMb0J5utv19uHxZuztpR97LX2YbFyfQ0ve1AJX8Zq10kQrncK975D_1E8O4
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%3Abook&rft.genre=book&rft.title=Category+theory+%3A+proceedings+of+the+international+conference+held+in+Como%2C+Italy%2C+July+22-28%2C+1990&rft.au=Carboni%2C+A.+%28Aurelio%29&rft.au=Pedicchio%2C+M.+C.+%28Maria+Cristina%29&rft.au=Rosolini%2C+G.+%28Giuseppe%29&rft.au=Conference+%22Category+Theory%22&rft.date=1991-01-01&rft.pub=Springer-Verlag&rft.isbn=9780387547060&rft_id=info:doi/10.1007%2FBFb0084207&rft.externalDocID=BA13297722
thumbnail_m http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97835404%2F9783540464358.jpg
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fmedia.springernature.com%2Fw306%2Fspringer-static%2Fcover-hires%2Fbook%2F978-3-540-46435-8