基本介紹
- 中文名:推出
- 外文名:push out
fibered sum - 所屬學科:範疇論
- 別名:纖維和
定義
泛性質

例子
性質
- 只要A∪CB和B∪CA存在,則存在同構態射A∪CB≅B∪CA。
- 只要推出A∪AB存在,則存在同構態射B≅A∪AB(這由推出的泛性質得出)。
構造
- 對任何C中的對象A和B,它們的余積在C中存在;
- 對C中的任何具有相同定義域和靶的態射j與k,j與k的余等化子在C中存在。
推出,拼音tuī chū,漢語詞語,指向人們介紹某人或某事物並希望接受,當前用於廣告居多;推舉或推選。解釋⒈向人們介紹某人或某事物並希望接受,當前用於廣告居多。⒉推舉或推選。1例句我們為推出這部作品,作了不懈努力。該廠最...
推出push out是範疇論中的一個概念,定義是給定範疇C與J=與對角函子Δ:C→C,f:a→b與g:a→c為C中態射,則推出為從到Δ的泛態射,其對應的始對象為。定義 J=·←·→·的歸納極限為推出。泛性質 明確地說,態射f與g的推出由一個對象P和兩個態射i₁:X→P與i₂:Y→P組成,使得圖表交換:並且,...
谷歌AI模型的研發進程從2012年就已開始;2022年8月推出高級語言學習模型PaLM;2023年5月Google I/O大會上Alphabet執行長桑達爾·皮查伊發布了PaLM2與Bard,同時宣布Gemini即將問世;12月6日在一段官方公布的視頻中,谷歌正式推出Gemini。谷歌計畫逐步將Gemini整合到其搜尋、廣告、Chrome等其他服務中。從2023年12月13...
Surface是美國微軟公司推出的全新硬體品牌,微軟公司於2012年6月19日發布了Surface系列平板電腦。這款平板電腦採用鎂合金機身10.6英寸顯示屏,配備USB 2.0或3.0接口,使用Windows 8作業系統。微軟官網將其稱為“全高清顯示屏”,螢幕比例為16:9。這款產品分為兩個版本:一個使用Windows 8專為ARM設計的版本Windows ...
QQ2013是騰訊公司發行的QQ系列的最新版本,進行了更多細節上的最佳化,最早測試版本於2012年11月9日上線。2013年1月11日發布了Beta2版本,推出了“劍魚”全新音視頻引擎,高清畫質最高可達HD級別(720P)。2013年1月22日騰訊發布QQ2013新春版。 繼續改進 2014年 2014年1月16日QQ 5.0發布。
大眾高爾夫(Golf)是一款由一汽-大眾在1974年推出的經典掀背/小型家用車型。已經在全球市場推出了八代,是大眾汽車公司生產最多的品種,也是大眾最暢銷的車型。在全球暢銷車型中位列第三,到2007年總產量已經超過了2500萬輛。 作為全世界最成功的車型之一,高爾夫問世45年,在全球擁有超過2600萬用戶。經歷了八代革新...
“神州行”是中國移動推出的三大客戶品牌之一,“神州行”品牌面向大眾市場,包括六大產品系列。“神州行”品牌客戶規模龐大。“神州行”客戶數已占中國移動客戶總數的27.6%以上,收入占比超過了17.0%,成為中國移動客戶品牌體系中極其重要的一部分。產品介紹 “神州行”標誌介紹 “神州行”標誌由卡通形象、品牌名稱、...
是中國推出第一份財富排行榜,也是國內財經榜單里影響最大的一個榜單。 1999年,胡潤創立“百富榜”,此後編制了一系列具有突破性意義的排行榜。旗下擁有《胡潤百富》雜誌,及系列論壇和活動。2004年創立“胡潤慈善榜”,慈善募捐已連續發布了十年,它旨在倡導企業家們關注慈善,積極回報社會。 [1] [14] 2023年10月24...
Mega Drive(日版名:メガドライブ,美版名:Sega Genesis,簡稱MD,香港俗稱世嘉五代)是世嘉在1988年推出的16-bit家用遊戲機,1989年在美國推出。Mega Drive在全球共售出3075萬台。此外Tectoy在巴西售出大約300萬台授權的兼容機。Majesco估計在美國共售出150萬台授權的兼容機。產品沿革 1988年10月29日,世嘉在...
東方甄選是新東方推出的直播帶貨新平台。東方甄選平台屬於東方甄選控股有限公司,該公司定位是做一個專注於為客戶甄選優質產品的直播平台;一家以持續提供“東方甄選”自營農產品為核心產品的優秀產品和科技公司;以及一家為客戶提供愉快體驗的文化傳播公司。2021年12月28日,上線直播帶貨平台“東方甄選”,12月28日8點,...
Ovi是諾基亞推出的網際網路服務品牌,Ovi在芬蘭語裡是“門”的意思,這項服務如同一個人的生活百寶匯,用戶可以由Ovi輕鬆接入他們現有的社交網路和內容。2011年5月16日,諾基亞官方部落格正式宣布即將放棄其旗下Ovi品牌,並將從2011年7月開始將Ovi命名的移動套用服務程式以諾基亞命名。功能簡介 Ovi不僅可支持用戶輕鬆訪問...
After School(애프터스쿨)是韓國Pledis Entertainment於2009年推出的女子組合,成員由隊長金正雅、李珠妍、朴嘉熙(已畢業)、BEKHA(已畢業)、劉小英(已畢業)、金宥真(二期加入)、吳藝琳、林珍娜(三期加入)、朴秀英(四期加入)、諾依英(五期加入)、李佳恩(六期加入)組成。2009年1月17日,...
巨無霸是麥當勞推出的一種漢堡。2022年11月,媒體報導,麥當勞中國宣布推出新升級巨無霸。產品介紹 巨無霸為知名速食連鎖店麥當勞的主要產品之一,該產品於1968年起開始發售。該漢堡產品以上下兩層(或上中下三層)麵包夾住牛肉、起司、少量生菜等七種食材,除了早餐外,於該餐廳全天供應。麥當勞曾推出號稱有15層,包含四...
《HEAT》是由韓國女子演唱組合(G)I-DLE推出的組合首張全英文EP,由Lindgren、Madison Love、Melanie Fontana、瑞恩·泰德等人製作,共收錄5首歌曲,通過CUBE娛樂公司於2023年10月6日發行。2023年,該專輯提名2023年中國年末獎“最暢銷韓國流行女歌手專輯”獎、“最暢銷韓國流行女歌手專輯”獎及“最暢銷韓國流行專輯”...
花唄全稱是螞蟻花唄,是螞蟻金服推出的一款消費信貸產品,申請開通後,將獲得500-50000元不等的消費額度。用戶在消費時,可以預支螞蟻花唄的額度,享受“先消費,後付款”的購物體驗。2016年8月4日,螞蟻花唄消費信貸資產支持證券項目在上海證券交易所掛牌,這也是上交所首單網際網路消費金融ABS。截至2018年1月,螞蟻...
iPod nano是APPLE 推出的一種小巧,時尚的MP3播放器,最多可以存放1000首CD 質量的MP3音樂。其使用jQuery模板引擎,完美實現對JSON的解析。是最簡單的jQuery模板引擎。1代 iPod nano 是APPLE 推出的一種小巧,時尚的MP3播放器,最多可以存放1000首CD 質量的MP3音樂,它還有完善的管理程式和創新的操作方式,外觀也...
Apple TV 4K是蘋果推出的電視盒子產品,於2017年9月13日,在2017蘋果秋季新品發布會上發布。它擁有4K解析度的輸出能力,支持HDR功能,支持HDR 10以及杜比視覺效果規格,採用A10X晶片。Apple tv的32GB4K版本179美元,2017年 9月15日接受預定。產品發布 2017年9月13日,蘋果舉辦了秋季新品發布會,電視盒子產品Apple TV...
《生化危機》(日本名稱:バイオハザード、Biohazard,歐美名稱:Resident Evil),是由日本CAPCOM公司推出的系列單機遊戲。該系列遊戲的首作於1996年首次推出,是以反生物武器和反生化恐怖主義為主題的生存恐怖冒險類單機遊戲系列。 生化危機系列遊戲是反生物武器和反生化恐怖主義以及恐怖、驚悚、生存、解謎、冒險、動作、射...
《Cross Days》是日本0verflow公司繼《School Days》、《Summer Days》後推出了的一款Days系列十八禁遊戲,於2010年3月19日發行。該作品採用了和《School Days》平行的世界觀,以新的男女主角,展現了一段不同的戀愛故事。主角為足利勇氣,女主角為喜連川路夏。故事的時間軸是和《School Days》重合在一條線上的,...
《Magic Man》是王嘉爾推出的音樂專輯,共收錄10首歌曲,發行於2022年9月9日,由Cambo、Loualldady等擔任製作人。2023年,該專輯獲得第1屆浪潮音樂大賞“最佳流行專輯獎”。創作背景 推出一張英文專輯是王嘉爾的音樂夢想,他不想留下遺憾,認為即便迎來失敗的結果也能坦然接受,因此開始著手籌備該專輯 。王嘉爾認為“...
Assistant是一款語音助手,於2016年5月19日在谷歌I/O全球開發者大會上由谷歌推出。2018年2月,谷歌為最佳化Assistant使用體驗,有意在手機上為Assistant增設物理按鍵。發展歷程 2018年2月,谷歌為最佳化Assistant使用體驗,有意在手機上為Assistant增設物理按鍵。外界猜測谷歌很有可能搶先在Pixel系列手機上搭載該物理按鍵。產品...
Mac Pro是蘋果在2012年推出的專業型桌上型電腦,搭載OS X Mountain Lion或OS X Server系統。尺寸與重量 尺寸與重量高度:51.1厘米(20.1英寸)寬度:20.6厘米(8.1英寸)深度:47.5厘米(18.7英寸)重量:十二核18.7千克(41.2磅);四核18.1千克(39.9磅)處 處理器 十二核(標準配置)兩個2.4GHz六核Intel ...
《XANADU》是劉雨昕推出的音樂專輯,共收錄10首歌曲,發行於2021年12月11日,由Maria Marcus、劉雨昕等擔任製作人。2022年,專輯歌曲《Boom Tick Boom》獲得第29屆東方風雲榜最受微博網友期待舞台 。創作背景 在每個人心裡都潛藏著屬於自己的理想之地,而劉雨昕音樂和舞蹈世界裡的理想之地,被她稱為“XANADU”,...
《D4DJ》(日語:ディーフォーディージェー)是日本Bushiroad推出的以DJ為主題的全新多媒體企劃,並有動畫、遊戲等衍生作品。背景設定 《D4DJ》, 全稱Dig Delight Direct Drive DJ, 是日本Bushiroad繼《Project Milky Holmes》、《BanG Dream!》、《少女☆歌劇 Revue Starlight》與《ARGONAVIS from BanG Dream!》...
《街頭霸王》是由日本CAPCOM公司於1987年首次推出的格鬥類單機遊戲系列,第一代遊戲於1987年8月30日發行。遊戲內主要角色有隆、肯、春麗、蓋爾、春日野櫻、亞力克斯、維加、豪鬼等。正統遊戲系列包括初代的《街頭霸王1》、《街頭霸王2》系列、《少年街霸》系列、《街頭霸王3》系列、《街頭霸王4》系列、《街頭霸王5》...
《9522》是焦安溥推出的音樂專輯,共收錄16首歌曲,發行於2022年10月28日,由焦安溥擔任製作人。2023年,專輯歌曲《最好的時光》入圍第34屆台灣金曲獎“年度歌曲獎”。創作背景 2021年,焦安溥在一個午夜整理工作進度時,翻到了一本留下的工作筆記,看見了20世紀末的她在青春期寫下的未能發表的詞曲手稿。在新冠...
《10》是江映蓉於2019年9月16日發行的專輯,共收錄6首歌曲。專輯介紹 該專輯是江映蓉在出道十年後建立了個人工作室後的第一張專輯。“10”是十年,是出道的十周年紀念,也是每個知道“江映蓉”這個名字,聽過她的歌,某一時刻在歌聲里彼此有過交集和感動的人,一起走過的十年。“10”也是“1”和“0”共同構成...
iPadOS(英文全稱:iPad Operating System)是蘋果公司基於iOS研發的移動端作業系統系列,於2019年6月4日推出。iPadOS主要運用於iPad等設備,聚焦了Apple Pencil、分屏和多任務互動功能,並可與Mac進行任務分享。iPadOS最早於2019蘋果全球開發者大會上發布。2019年9月11日,蘋果在2019蘋果秋季新品發布會上宣布定於9月30日...
ColorOS是由OPPO廣東移動通信有限公司 [1]推出的基於安卓(Android)深度定製的系統,直觀、輕快、簡約而富有設計感 [2]。ColorOS也是OPPO公司力求軟硬結合,開拓移動網際網路市場的長線產品。2013年4月26日發布首個公測版本,現今已被翻譯成英語、泰語、印度尼西亞語等72種語言,並在全球 140 多個國家和地區推廣使用。 [...
萬妮達(Vinida),原名翁穎,1994年6月26日出生於福建省福州市,中國內地嘻哈說唱女歌手。2015年,萬妮達參與了Freedom Plant Music的Mixitape創作與錄製,並推出了《Get away from me》《colorful world》等多首說唱單曲。2016年,推出首張個人EP專輯《Before》;同年,參加浙江衛視歌唱選秀節目《中國新歌聲》的比賽,...