{"id":"https://openalex.org/W4416725058","doi":"https://doi.org/10.1017/s0960129525100273","title":"Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry","display_name":"Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4416725058","doi":"https://doi.org/10.1017/s0960129525100273"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129525100273","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129525100273","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1017/s0960129525100273","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112584471","display_name":"Dorette Pronk","orcid":null},"institutions":[{"id":"https://openalex.org/I129902397","display_name":"Dalhousie University","ror":"https://ror.org/01e6qks80","country_code":"CA","type":"education","lineage":["https://openalex.org/I129902397"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Dorette Pronk","raw_affiliation_strings":["Dalhousie University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dalhousie University","institution_ids":["https://openalex.org/I129902397"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082149909","display_name":"Geoff Vooys","orcid":"https://orcid.org/0000-0001-5872-8326"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Geoff Vooys","raw_affiliation_strings":["University of Calgary"],"raw_orcid":"https://orcid.org/0000-0001-5872-8326","affiliations":[{"raw_affiliation_string":"University of Calgary","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39538945,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.885200023651123,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.885200023651123,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.019300000742077827,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10899","display_name":"Advanced Operator Algebra Research","score":0.009999999776482582,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.7738000154495239},{"id":"https://openalex.org/keywords/tangent-bundle","display_name":"Tangent bundle","score":0.7738000154495239},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.7448999881744385},{"id":"https://openalex.org/keywords/tangent-cone","display_name":"Tangent cone","score":0.6658999919891357},{"id":"https://openalex.org/keywords/tangent","display_name":"Tangent","score":0.6632999777793884},{"id":"https://openalex.org/keywords/equivariant-map","display_name":"Equivariant map","score":0.5460000038146973},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.4771000146865845},{"id":"https://openalex.org/keywords/tangent-vector","display_name":"Tangent vector","score":0.4526999890804291},{"id":"https://openalex.org/keywords/derived-algebraic-geometry","display_name":"Derived algebraic geometry","score":0.44920000433921814}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7947999835014343},{"id":"https://openalex.org/C28903235","wikidata":"https://www.wikidata.org/wiki/Q746550","display_name":"Tangent bundle","level":3,"score":0.7738000154495239},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.7738000154495239},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.7448999881744385},{"id":"https://openalex.org/C149944404","wikidata":"https://www.wikidata.org/wiki/Q2392464","display_name":"Tangent cone","level":3,"score":0.6658999919891357},{"id":"https://openalex.org/C138187205","wikidata":"https://www.wikidata.org/wiki/Q131251","display_name":"Tangent","level":2,"score":0.6632999777793884},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.611299991607666},{"id":"https://openalex.org/C171036898","wikidata":"https://www.wikidata.org/wiki/Q256355","display_name":"Equivariant map","level":2,"score":0.5460000038146973},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.4771000146865845},{"id":"https://openalex.org/C47890412","wikidata":"https://www.wikidata.org/wiki/Q1179296","display_name":"Tangent vector","level":3,"score":0.4526999890804291},{"id":"https://openalex.org/C185382297","wikidata":"https://www.wikidata.org/wiki/Q16959942","display_name":"Derived algebraic geometry","level":5,"score":0.44920000433921814},{"id":"https://openalex.org/C157157409","wikidata":"https://www.wikidata.org/wiki/Q909601","display_name":"Tangent space","level":2,"score":0.4397999942302704},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.38280001282691956},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37940001487731934},{"id":"https://openalex.org/C109593458","wikidata":"https://www.wikidata.org/wiki/Q5262626","display_name":"Derived category","level":3,"score":0.36980000138282776},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.33550000190734863},{"id":"https://openalex.org/C30014739","wikidata":"https://www.wikidata.org/wiki/Q5159445","display_name":"Cone (formal languages)","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C83177873","wikidata":"https://www.wikidata.org/wiki/Q2000555","display_name":"Category of topological spaces","level":5,"score":0.2969000041484833},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.28349998593330383},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C128520899","wikidata":"https://www.wikidata.org/wiki/Q1575634","display_name":"Concrete category","level":3,"score":0.26669999957084656},{"id":"https://openalex.org/C11846945","wikidata":"https://www.wikidata.org/wiki/Q1082992","display_name":"Equivalence of categories","level":3,"score":0.257099986076355},{"id":"https://openalex.org/C143161588","wikidata":"https://www.wikidata.org/wiki/Q906907","display_name":"Coherent sheaf","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129525100273","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129525100273","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s0960129525100273","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129525100273","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1908473049","https://openalex.org/W1977875716","https://openalex.org/W2069246401","https://openalex.org/W2108070223","https://openalex.org/W2610246755","https://openalex.org/W2950773315","https://openalex.org/W3005564475","https://openalex.org/W4245842230","https://openalex.org/W4255359412"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2,103,127],"paper,":[3],"we":[4],"show":[5,106],"that":[6,23,57,107],"if":[7,13],"$\\mathscr{C}$":[8,29,43],"is":[9,19,33,47,72,81],"a":[10,20,34,50,73,155],"category":[11,31,36,142],"and":[12,37,56,117,147],"$F\\colon":[14],"\\mathscr{C}^{\\;\\textrm":[15],"{op}}":[16],"\\to":[17,114],"\\mathfrak{Cat}$":[18,115],"pseudofunctor":[21],"such":[22],"for":[24,38],"each":[25,39],"object":[26],"$X$":[27],"of":[28,42,49,143,151],"the":[30,44,59,77,84,88,97,108,137,141],"$F(X)$":[32,90],"tangent":[35,52,74,85,138],"morphism":[40,53],"$f$":[41],"functor":[45],"$F(\\,f)$":[46,99],"part":[48],"strong":[51],"$(F(\\,f),\\!\\,_{f}{\\alpha":[54],"})$":[55],"furthermore":[58],"natural":[60],"transformations":[61],"$\\!\\,_{f}{\\alpha":[62],"}$":[63],"vary":[64,95],"pseudonaturally":[65],"in":[66],"$\\mathscr{C}^{\\;\\textrm":[67],"{op}}$":[68],",":[69],"then":[70],"there":[71],"structure":[75],"on":[76,87,140,148],"pseudolimit":[78],"$\\mathbf{PC}(F)$":[79],"which":[80],"induced":[82],"by":[83,121],"structures":[86,139],"categories":[89,150],"together":[91],"with":[92,136],"how":[93,132],"they":[94],"through":[96],"functors":[98],".":[100],"We":[101],"use":[102],"observation":[104],"to":[105,130],"forgetful":[109],"$2$":[110],"-functor":[111],"$\\operatorname":[112],"{Forget}:\\mathfrak{Tan}":[113],"creates":[116],"preserves":[118],"pseudolimits":[119],"indexed":[120],"$1$":[122],"-categories.":[123],"As":[124],"an":[125],"application,":[126],"allows":[128],"us":[129],"describe":[131],"equivariant":[133],"descent":[134],"interacts":[135],"smooth":[144],"(real)":[145],"manifolds":[146],"various":[149],"(algebraic)":[152],"varieties":[153],"over":[154],"field.":[156]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-11-28T00:00:00"}