{"entities":{"Q6959609":{"pageid":21260859,"ns":120,"title":"Item:Q6959609","lastrevid":84068198,"modified":"2026-05-09T06:55:28Z","type":"item","id":"Q6959609","labels":{"en":{"language":"en","value":"Discrete vertices in simplicial objects internal to a monoidal category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8063427"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$27BE6359-BF62-439D-999F-60738979652F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9497e7852aa2a0663b965245e85361626006ffa2","datavalue":{"value":{"text":"Discrete vertices in simplicial objects internal to a monoidal category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6959609$285925E8-D470-4A04-834A-C6DBE6D860DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d22d53dec0361bca6498b5487409d5d73d6fd96","datavalue":{"value":"1573.18039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959609$254FC035-F9B7-4014-B668-FC2894729E01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c4dd356033e2a5070d2b9d3bbd4867d1a8f5e29","datavalue":{"value":"10.1007/S10485-025-09812-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959609$1D63CFBD-29E4-4837-A145-9D6849DCE011","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ad46d13168a27e1fabb30cca7729fca9181edc7","datavalue":{"value":{"entity-type":"item","numeric-id":6153954,"id":"Q6153954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$4569C323-780B-4A63-99EF-36BD9477C0B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$4D52DAF6-D143-4CC7-AE0B-1F21A6533976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ae8f73c8fef6620ac917ddaab67a7a777f79b6c","datavalue":{"value":{"time":"+2025-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6959609$D1D4A455-BEA1-42C0-B471-F55D823ED821","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d33e270a5a56e0609f036b7889ac00ba59cfb2e","datavalue":{"value":"This paper follows \\textit{M. Aguiar} [Internal categories and quantum groups. Cornell University ProQuest Dissertations \\& Theses (1997), \\url{https://ncatlab.org/nlab/files/Aguiar_InternalCategoriesAndQuantumGroups.pdf}], introducing simplicial objects internal to a monoidal category as certain colax monoidal functors. The paper compares three approaches. Throughout the paper the author lets \\((\\mathcal{V},\\otimes,I)\\) be a fixed cocomplete and finitely complete monoidal category such that the monoidal product \\(-\\otimes-\\) preserves coproducts in each variable.\\N\\N\\begin{itemize}\\N\\item[1.] One can consider the category \\(\\mathrm{Colax}_{b}(\\Delta_{f}^{\\mathrm{op}},\\mathcal{V})\\) of based colax monoidal functors.\\N\\item[2.] Assume first that \\(\\mathcal{V}\\) is cartesian. \\textit{J. Lurie} [``(Infinity,2)-Categories and the Goodwillie Calculus I'', Preprint, \\url{arXiv:0905.0462}] introduced enriched Segal precategories in order to define an enriched variant of classical Segal categories [\\textit{A. Hirschowitz} and \\textit{C. Simpson}, ``Descente pour les n-champs (Descent for n-stacks)'', Preprint, \\url{arXiv:math/9807049}]. They were further investigated in [\\textit{C. Simpson}, Homotopy theory of higher categories. From Segal categories to \\(n\\)-categories and beyond. Cambridge: Cambridge University Press (2012; Zbl 1232.18001)]. In this case the discretization of the vertices is achieved by replacing the simplicial category \\(\\Delta\\) by a labelled analogue \\(\\Delta_{S}\\) for a given set \\(S\\). One then considers functors\\N\\[\\N\\Delta_{S}^{\\mathrm{op}}\\rightarrow\\mathcal{V}\\N\\]\\Ninstead, yielding the category \\(\\mathrm{PC}(\\mathcal{V})\\). \\textit{H. V. Bacard} [Theory Appl. Categ. 35, 1227--1267 (2020; Zbl 1443.18002)] considered a generalization of this approach for general \\(\\mathcal{V}\\), also using colax functors.\\N\\item[3.] \\textit{W. Lowen} and the named author [Algebr. Geom. Topol. 25, No. 2, 1029--1074 (2025; Zbl 1565.18009)] introduced templicial objectsin order to define an enriched version of \\textit{A. Joyal}'s quasi-categories [J. Pure Appl. Algebra 175, No. 1--3, 207--222 (2002; Zbl 1015.18008)]. The named author studies the category \\(S_{\\otimes}\\mathcal{V}\\) of colax monoidal functors of the form\\N\\[\\N\\Delta_{f}^{\\mathrm{op}}\\rightarrow\\mathcal{V}\\mathrm{Quiv}_{S}\\N\\]\\N\\end{itemize}\\N\\NThe synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 2] makes the case that passing to colax monoidal functors \\(\\Delta_{f}^{\\mathrm{op}}\\rightarrow\\mathcal{V}\\) is necessary in the context of non-cartesian monoidal categories. The main argument is that this allows to define well-behaved nerves of -enriched categories, which leads the author to consider templicial objects.\\N\\N\\item[\\S 3] compares approaches 1 and 3, identifying conditions on \\(\\mathcal{V}\\) for which they are equivalent. The author calls \\(\\mathcal{V}\\) \\textit{decomposing} if it abides by these conditions (Definition 3.10), establishing (Theorem 3.21)\\N\\[\\NS_{\\otimes}\\mathcal{V}\\simeq\\mathrm{Colax}_{b}(\\Delta_{f}^{\\mathrm{op}},\\mathcal{V})\\N\\]\\N\\N\\item[\\S 4] compares approaches 2 and 3. In the cartesian case, \\textit{C. Simpson} [Homotopy theory of higher categories. From Segal categories to \\(n\\)-categories and beyond. Cambridge: Cambridge University Press (2012; Zbl 1232.18001)] introduced the conditions (DISJ) on \\(\\mathcal{V}\\) under which\\N\\[\\N\\mathrm{PC}(\\mathcal{V})\\simeq S_{b}\\mathcal{V}\\N\\]\\NIt is shown that (DISJ) implies decomposing for \\(\\mathcal{V}\\), so that under (DISJ)\\ all three approaches are equivalent (Corollary 4.10). Finally it is shown that for \\(\\mathcal{V}=\\mathrm{Mod}(k)\\), the templicial dg-nerve \\(dg\\mathrm{Cat}_{k}\\rightarrow S_{\\otimes}\\mathrm{Mod}(k)\\) from [\\textit{W. Lowen} and \\textit{A. Mertens}, Int. Math. Res. Not. 2025, No. 13, Article ID rnaf178, 42 p. (2025; Zbl 08103246)] does not factor through \\(\\mathrm{PC}(\\mathrm{Mod}(k))\\) (Example 4.15).\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959609$DA51E76B-E4FD-4039-AC2D-E3B8A4CCDD67","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$7F45C37D-3549-407F-9AFD-2B9FCC138973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959609$9D6DE783-1BE5-47D4-AA10-B072EBE6F5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c7442634c6d8cafb76c4ee63fbf3377fffd6458","datavalue":{"value":"18N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959609$44215557-DDEB-4FA1-9767-42F0DDAD8A81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1e3ad6615e8045e6774e81acd1bab0ec5b98946","datavalue":{"value":"8063427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959609$BC767609-1928-4B22-9ABA-3D496031CC26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965eb1703072018beed3e5385f78c4277e44624f","datavalue":{"value":"simplicial object","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959609$F1527919-5BB0-442B-8184-E74E623A03AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959609$29A476EF-6753-44D6-903C-D7B1E5B64630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a32671eedcd38566b2544bd9a454a6aad385305","datavalue":{"value":"internal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959609$3F4F4ACC-17EE-4039-B4F7-93684CBB28C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69261a5a8f51f91865e6ac520b3eb3b4da4b3d05","datavalue":{"value":"enriched Segal precategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959609$6E1417E0-F284-4BAE-A141-7BF5474A7986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe64a15a7e1c4e688cec74694bb9e026b7387cf9","datavalue":{"value":"templicial object","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959609$0C2B53BB-294B-4C12-BBDE-B4E66AF61735","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$B90A8163-32FE-4E90-909B-6CB1EB84E9DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea30f87d4a0b758732aaf6860adebca2feb7e40","datavalue":{"value":{"entity-type":"item","numeric-id":3055794,"id":"Q3055794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$2F65056C-5D3B-42A9-9433-AF4B6B666D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4737700bacd298b2ae9f83e6ac81d3b428450a27","datavalue":{"value":{"entity-type":"item","numeric-id":3305546,"id":"Q3305546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$858E6C11-E564-4AD2-9F7C-61C5A0B9AAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$64898B77-252B-4255-BF33-A51D86EE954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$20F77E31-6A0A-4756-8C6A-5D18E16A081A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd57462a36c1547e90f016c670e949d87bf8cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1850102,"id":"Q1850102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$B3E1C899-6749-489C-8233-214270F85E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965b95fa10f62d51212afa7d4eb94fc2c243e725","datavalue":{"value":{"entity-type":"item","numeric-id":6971669,"id":"Q6971669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$28DC46C9-3569-4ADE-A4AC-60C6E92CD2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$A8893AEB-6A48-4E74-B345-3CD5367FF7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96e562af470ca7999a798bf3ddd286f63b32c4c","datavalue":{"value":{"entity-type":"item","numeric-id":3263905,"id":"Q3263905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$8D7BCCF0-AB4E-4BD3-8A01-9F6D80F8DA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0bcbcaaa8b9aa2eb72978adca635beee5dd85fa","datavalue":{"value":{"entity-type":"item","numeric-id":3068077,"id":"Q3068077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959609$3D2B981D-AFA8-4A3E-95DE-8DE1B27C81EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discrete vertices in simplicial objects internal to a monoidal category","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discrete_vertices_in_simplicial_objects_internal_to_a_monoidal_category"}}}}}