{"id":"https://openalex.org/W4408202687","doi":"https://doi.org/10.46298/lmcs-21(1:22)2025","title":"On The Axioms Of $\\mathcal{M},\\mathcal{N}$-Adhesive Categories","display_name":"On The Axioms Of $\\mathcal{M},\\mathcal{N}$-Adhesive Categories","publication_year":2025,"publication_date":"2025-03-06","ids":{"openalex":"https://openalex.org/W4408202687","doi":"https://doi.org/10.46298/lmcs-21(1:22)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(1:22)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:22)2025","pdf_url":"https://lmcs.episciences.org/15333/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/15333/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061681165","display_name":"Davide Castelnovo","orcid":"https://orcid.org/0000-0002-5926-5615"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Davide Castelnovo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5024162879","display_name":"Marino Miculan","orcid":"https://orcid.org/0000-0003-0755-3444"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marino Miculan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5061681165"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05820745,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 21, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9298999905586243,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9298999905586243,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12601","display_name":"Web Applications and Data Management","score":0.9185000061988831,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7152478694915771},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5684295892715454},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.484454870223999},{"id":"https://openalex.org/keywords/adhesive","display_name":"Adhesive","score":0.441093385219574},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4272170066833496},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.38513028621673584},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.23631983995437622},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.13168925046920776},{"id":"https://openalex.org/keywords/composite-material","display_name":"Composite material","score":0.0829043984413147}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7152478694915771},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5684295892715454},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.484454870223999},{"id":"https://openalex.org/C68928338","wikidata":"https://www.wikidata.org/wiki/Q131790","display_name":"Adhesive","level":3,"score":0.441093385219574},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4272170066833496},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38513028621673584},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.23631983995437622},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.13168925046920776},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0829043984413147},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46298/lmcs-21(1:22)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:22)2025","pdf_url":"https://lmcs.episciences.org/15333/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:e66302b8d2c0437b87ae36064c0bb016","is_oa":true,"landing_page_url":"https://doaj.org/article/e66302b8d2c0437b87ae36064c0bb016","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(1:22)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:22)2025","pdf_url":"https://lmcs.episciences.org/15333/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4408202687.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2371309082","https://openalex.org/W2384401620","https://openalex.org/W2043947924","https://openalex.org/W2389568614","https://openalex.org/W2383439850","https://openalex.org/W4205876811","https://openalex.org/W4361799126","https://openalex.org/W2628640760","https://openalex.org/W2509006425"],"abstract_inverted_index":{"Adhesive":[0],"and":[1,73,140],"quasiadhesive":[2,18],"categories":[3,60],"provide":[4],"a":[5,17,25,30,44,65,69,89,114,135],"general":[6],"framework":[7],"for":[8,47],"the":[9,41,95,101,117],"study":[10],"of":[11,43,50,97,103],"algebraic":[12],"graph":[13],"rewriting":[14],"systems.":[15],"In":[16,78],"category":[19,130],"any":[20,48],"two":[21],"regular":[22,31,36,45,51],"subobjects":[23,52],"have":[24],"join":[26,46],"which":[27,106],"is":[28,56],"again":[29],"subobject.":[32],"Vice":[33],"versa,":[34],"if":[35],"monos":[37],"are":[38],"adhesive,":[39],"then":[40],"existence":[42],"pair":[49],"entails":[53],"quasiadhesivity.":[54],"It":[55],"also":[57],"known":[58],"(quasi)adhesive":[59],"can":[61,131],"be":[62,132],"embedded":[63,133],"in":[64],"Grothendieck":[66,136],"topos":[67],"via":[68],"functor":[70],"preserving":[71,138],"pullbacks":[72,139],"pushouts":[74],"along":[75],"(regular)":[76],"monomorphisms.":[77],"this":[79],"paper":[80],"we":[81],"extend":[82],"these":[83],"results":[84],"to":[85,93,109,125],"$\\mathcal{M},":[86,111,141],"\\mathcal{N}$-adhesive":[87],"categories,":[88],"concept":[90],"recently":[91],"introduced":[92],"generalize":[94],"notion":[96,102],"(quasi)adhesivity.":[98],"We":[99],"introduce":[100],"$\\mathcal{N}$-adhesive":[104,121],"morphism,":[105],"allows":[107,123],"us":[108,124],"express":[110],"\\mathcal{N}$-adhesivity":[112],"as":[113],"condition":[115],"on":[116],"subobjects'":[118],"posets.":[119],"Moreover,":[120],"morphisms":[122],"show":[126],"how":[127],"an":[128],"$\\mathcal{M},\\mathcal{N}$-adhesive":[129],"into":[134],"topos,":[137],"\\mathcal{N}$-pushouts.":[142]},"counts_by_year":[],"updated_date":"2026-02-27T16:54:17.756197","created_date":"2025-10-10T00:00:00"}