Mahmoudi, Mojgan; Sepahani, Sara The category \(\mathcal{S} h_{j^I}\mathbf{MSet}\) of sheaves in \(\mathbf{MSet}\). (English) Zbl 07664075 J. Algebra Appl. 22, No. 4, Article ID 2350085, 13 p. (2023). MSC: 18B25 18F10 18F20 20M30 20M50 PDF BibTeX XML Cite \textit{M. Mahmoudi} and \textit{S. Sepahani}, J. Algebra Appl. 22, No. 4, Article ID 2350085, 13 p. (2023; Zbl 07664075) Full Text: DOI OpenURL
Mahmoudi, Mojgan; Sepahani, Sara Stone representation theorem for Boolean algebras in the topos \(M\mathbf{Set}\). (English) Zbl 07638045 Quaest. Math. 45, No. 12, 1921-1930 (2022). MSC: 06E25 06E75 18B25 18A25 20M30 PDF BibTeX XML Cite \textit{M. Mahmoudi} and \textit{S. Sepahani}, Quaest. Math. 45, No. 12, 1921--1930 (2022; Zbl 07638045) Full Text: DOI OpenURL
Bourn, Dominique On the cocartesian image of preorders and equivalence relations in regular categories. (English) Zbl 1502.18007 Appl. Categ. Struct. 30, No. 6, 1153-1176 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18C40 18D30 18E13 08A30 08B05 PDF BibTeX XML Cite \textit{D. Bourn}, Appl. Categ. Struct. 30, No. 6, 1153--1176 (2022; Zbl 1502.18007) Full Text: DOI arXiv OpenURL
Hemelaer, Jens Some toposes over which essential implies locally connected. (English. French summary) Zbl 1499.18008 Cah. Topol. Géom. Différ. Catég. 63, No. 4, 425-451 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18F10 03G30 PDF BibTeX XML Cite \textit{J. Hemelaer}, Cah. Topol. Géom. Différ. Catég. 63, No. 4, 425--451 (2022; Zbl 1499.18008) Full Text: arXiv Link OpenURL
Caramello, Olivia Grothendieck toposes as unifying ‘bridges’: a mathematical morphogenesis. (English) Zbl 07598441 Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 233-255 (2022). MSC: 03-XX 00A30 PDF BibTeX XML Cite \textit{O. Caramello}, Boston Stud. Philos. Hist. Sci. 339, 233--255 (2022; Zbl 07598441) Full Text: DOI OpenURL
Blechschmidt, Ingo Exploring mathematical objects from custom-tailored mathematical universes. (English) Zbl 07598436 Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 63-95 (2022). MSC: 03-XX 00A30 PDF BibTeX XML Cite \textit{I. Blechschmidt}, Boston Stud. Philos. Hist. Sci. 339, 63--95 (2022; Zbl 07598436) Full Text: DOI arXiv OpenURL
Menni, Matías Maps with discrete fibers and the origin of basepoints. (English) Zbl 07583984 Appl. Categ. Struct. 30, No. 5, 991-1015 (2022). MSC: 18B25 18F99 55U35 PDF BibTeX XML Cite \textit{M. Menni}, Appl. Categ. Struct. 30, No. 5, 991--1015 (2022; Zbl 07583984) Full Text: DOI OpenURL
Fiore, Marcelo P.; Pitts, Andrew M.; Steenkamp, S. C. Quotients, inductive types, and quotient inductive types. (English) Zbl 1502.18046 Log. Methods Comput. Sci. 18, No. 2, Paper No. 15, 37 p. (2022). Reviewer: Philippe Malbos (Lyon) MSC: 18N45 03B38 68V15 PDF BibTeX XML Cite \textit{M. P. Fiore} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 15, 37 p. (2022; Zbl 1502.18046) Full Text: arXiv Link OpenURL
Parker, Jason Covariant isotropy of Grothendieck toposes and extensive categories. (English) Zbl 1491.18014 Appl. Categ. Struct. 30, No. 4, 779-803 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F10 18C10 18C35 18F20 PDF BibTeX XML Cite \textit{J. Parker}, Appl. Categ. Struct. 30, No. 4, 779--803 (2022; Zbl 1491.18014) Full Text: DOI OpenURL
Anel, Mathieu; Biedermann, Georg; Finster, Eric; Joyal, André Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves. (English) Zbl 1498.18009 Adv. Math. 400, Article ID 108268, 64 p. (2022). Reviewer: Markus Szymik (Sheffield) MSC: 18F20 18N60 18N55 PDF BibTeX XML Cite \textit{M. Anel} et al., Adv. Math. 400, Article ID 108268, 64 p. (2022; Zbl 1498.18009) Full Text: DOI arXiv OpenURL
Kitajima, Yuichiro Negations and meets in topos quantum theory. (English) Zbl 1485.81006 Found. Phys. 52, No. 1, Paper No. 12, 27 p. (2022). MSC: 81P10 18B25 06C20 03G05 03G12 PDF BibTeX XML Cite \textit{Y. Kitajima}, Found. Phys. 52, No. 1, Paper No. 12, 27 p. (2022; Zbl 1485.81006) Full Text: DOI arXiv OpenURL
Sterling, Jonathan; Harper, Robert Logical relations as types: proof-relevant parametricity for program modules. (English) Zbl 1499.68069 J. ACM 68, No. 6, Paper No. 41, 47 p. (2021). MSC: 68N30 03B70 18B25 68Q55 68Q65 PDF BibTeX XML Cite \textit{J. Sterling} and \textit{R. Harper}, J. ACM 68, No. 6, Paper No. 41, 47 p. (2021; Zbl 1499.68069) Full Text: DOI arXiv OpenURL
Vigneaux, Juan Pablo Information cohomology of classical vector-valued observables. (English) Zbl 1485.94040 Nielsen, Frank (ed.) et al., Geometric science of information. 5th international conference, GSI 2021, Paris, France, July 21–23, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12829, 537-546 (2021). MSC: 94A17 94A15 62G05 55N35 PDF BibTeX XML Cite \textit{J. P. Vigneaux}, Lect. Notes Comput. Sci. 12829, 537--546 (2021; Zbl 1485.94040) Full Text: DOI arXiv OpenURL
Carchedi, David On the étale homotopy type of higher stacks. (English) Zbl 1493.14033 High. Struct. 5, No. 1, 121-185 (2021). MSC: 14F35 14A20 55N25 18B25 PDF BibTeX XML Cite \textit{D. Carchedi}, High. Struct. 5, No. 1, 121--185 (2021; Zbl 1493.14033) Full Text: arXiv Link OpenURL
Nejah, A. Homayoun; Mahmoudi, Mojgan; Ebrahimi, M. Mehdi Partially ordered objects in a topos. (English) Zbl 1490.18003 Quaest. Math. 44, No. 11, 1563-1592 (2021). Reviewer: Peeter Normak (Tallinn) MSC: 18B25 06A06 16B50 18D15 PDF BibTeX XML Cite \textit{A. H. Nejah} et al., Quaest. Math. 44, No. 11, 1563--1592 (2021; Zbl 1490.18003) Full Text: DOI OpenURL
Kato, Goro C.; Nishimura, Kazuo Time and mnemonic morphism. (English) Zbl 1478.18011 Nishimura, Kazuo (ed.) et al., Creative complex systems. Singapore: Springer. Creat. Econ., 113-120 (2021). MSC: 18F10 18B25 18F20 PDF BibTeX XML Cite \textit{G. C. Kato} and \textit{K. Nishimura}, in: Creative complex systems. Singapore: Springer. 113--120 (2021; Zbl 1478.18011) Full Text: DOI OpenURL
Maruyama, Yoshihiro Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation. (English) Zbl 1477.18011 J. Symb. Log. 86, No. 3, 1189-1213 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 03G30 03B47 18D30 PDF BibTeX XML Cite \textit{Y. Maruyama}, J. Symb. Log. 86, No. 3, 1189--1213 (2021; Zbl 1477.18011) Full Text: DOI OpenURL
Tenorio, Ana Luiza; Mariano, Hugo Luiz On sheaf cohomology and natural expansions. (English) Zbl 1477.18001 São Paulo J. Math. Sci. 15, No. 2, 571-614 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18-02 14-02 18F10 14F06 55N30 18B25 PDF BibTeX XML Cite \textit{A. L. Tenorio} and \textit{H. L. Mariano}, São Paulo J. Math. Sci. 15, No. 2, 571--614 (2021; Zbl 1477.18001) Full Text: DOI arXiv OpenURL
Funk, Jonathon; Hofstra, Pieter Toposes for semigroups: an invitation. (English) Zbl 07431132 Semigroup Forum 103, No. 3, 715-776 (2021). MSC: 20Mxx PDF BibTeX XML Cite \textit{J. Funk} and \textit{P. Hofstra}, Semigroup Forum 103, No. 3, 715--776 (2021; Zbl 07431132) Full Text: DOI OpenURL
Anel, Mathieu; Joyal, André Topo-logie. (English) Zbl 1477.18008 Anel, Mathieu (ed.) et al., New spaces in mathematics. Formal and conceptual reflections. Cambridge: Cambridge University Press. 155-257 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 58A03 14A20 18F70 PDF BibTeX XML Cite \textit{M. Anel} and \textit{A. Joyal}, in: New spaces in mathematics. Formal and conceptual reflections. Cambridge: Cambridge University Press. 155--257 (2021; Zbl 1477.18008) Full Text: Link OpenURL
Rogers, Morgan On supercompactly and compactly generated toposes. (English) Zbl 1473.18011 Theory Appl. Categ. 37, 1017-1079 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F10 18B25 PDF BibTeX XML Cite \textit{M. Rogers}, Theory Appl. Categ. 37, 1017--1079 (2021; Zbl 1473.18011) Full Text: arXiv Link OpenURL
Jaber, Guilhem; Riba, Colin Temporal refinements for guarded recursive types. (English) Zbl 1473.68047 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 548-578 (2021). MSC: 68N30 03B70 68Q55 PDF BibTeX XML Cite \textit{G. Jaber} and \textit{C. Riba}, Lect. Notes Comput. Sci. 12648, 548--578 (2021; Zbl 1473.68047) Full Text: DOI OpenURL
Hötzel Escardó, Martín The Cantor-Schröder-Bernstein theorem for \(\infty\)-groupoids. (English) Zbl 07402358 J. Homotopy Relat. Struct. 16, No. 3, 363-366 (2021). MSC: 03-XX 55U40 03B15 03F55 03B38 PDF BibTeX XML Cite \textit{M. Hötzel Escardó}, J. Homotopy Relat. Struct. 16, No. 3, 363--366 (2021; Zbl 07402358) Full Text: DOI arXiv OpenURL
Connes, Alain; Consani, Caterina On absolute algebraic geometry the affine case. (English) Zbl 1478.14047 Adv. Math. 390, Article ID 107909, 44 p. (2021). Reviewer: Nikolaj M. Glazunov (Kyïv) MSC: 14G40 14A20 16Y60 18N40 18N50 19D55 11R56 PDF BibTeX XML Cite \textit{A. Connes} and \textit{C. Consani}, Adv. Math. 390, Article ID 107909, 44 p. (2021; Zbl 1478.14047) Full Text: DOI arXiv OpenURL
Lawson, M. V.; Resende, P. Morita equivalence of pseudogroups. (English) Zbl 1474.18020 J. Algebra 586, 718-755 (2021). Reviewer: Sergejs Solovjovs (Praha) MSC: 18F75 20M18 18B40 18F10 18F70 22A22 PDF BibTeX XML Cite \textit{M. V. Lawson} and \textit{P. Resende}, J. Algebra 586, 718--755 (2021; Zbl 1474.18020) Full Text: DOI arXiv OpenURL
Hemelaer, Jens; Rogers, Morgan An essential, hyperconnected, local geometric morphism that is not locally connected. (English) Zbl 1468.18004 Appl. Categ. Struct. 29, No. 4, 573-576 (2021). MSC: 18B25 PDF BibTeX XML Cite \textit{J. Hemelaer} and \textit{M. Rogers}, Appl. Categ. Struct. 29, No. 4, 573--576 (2021; Zbl 1468.18004) Full Text: DOI arXiv OpenURL
Hemelaer, Jens; Rogers, Morgan Monoid properties as invariants of toposes of monoid actions. (English) Zbl 1471.18004 Appl. Categ. Struct. 29, No. 3, 379-413 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 20M50 18A30 18A40 18C10 03G30 PDF BibTeX XML Cite \textit{J. Hemelaer} and \textit{M. Rogers}, Appl. Categ. Struct. 29, No. 3, 379--413 (2021; Zbl 1471.18004) Full Text: DOI arXiv OpenURL
Marmolejo, F.; Menni, M. The canonical intensive quality of a cohesive topos. (English) Zbl 1469.18004 Theory Appl. Categ. 36, 250-279 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03G30 18F99 PDF BibTeX XML Cite \textit{F. Marmolejo} and \textit{M. Menni}, Theory Appl. Categ. 36, 250--279 (2021; Zbl 1469.18004) Full Text: Link OpenURL
Pirashvili, Ilia Reconstruction theorem for monoid schemes. (English) Zbl 1467.18007 J. Pure Appl. Algebra 225, No. 12, Article ID 106782, 21 p. (2021). MSC: 18B25 20M14 20M30 PDF BibTeX XML Cite \textit{I. Pirashvili}, J. Pure Appl. Algebra 225, No. 12, Article ID 106782, 21 p. (2021; Zbl 1467.18007) Full Text: DOI arXiv OpenURL
Rasekh, Nima Filter quotients and non-presentable \((\infty,1)\)-toposes. (English) Zbl 1467.18045 J. Pure Appl. Algebra 225, No. 12, Article ID 106770, 36 p. (2021). Reviewer: Philippe Gaucher (Paris) MSC: 18N60 18B25 18N45 55U35 PDF BibTeX XML Cite \textit{N. Rasekh}, J. Pure Appl. Algebra 225, No. 12, Article ID 106770, 36 p. (2021; Zbl 1467.18045) Full Text: DOI arXiv OpenURL
Lawvere, F. William Toposes generated by codiscrete objects in combinatorial topology and functional analysis. (English) Zbl 1469.18003 Repr. Theory Appl. Categ. 2021, No. 27, 11 p. (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18F10 55U10 46M15 PDF BibTeX XML Cite \textit{F. W. Lawvere}, Repr. Theory Appl. Categ. 2021, No. 27, 11 p. (2021; Zbl 1469.18003) Full Text: Link OpenURL
Elmanto, Elden; Shah, Jay Scheiderer motives and equivariant higher topos theory. (English) Zbl 1484.14046 Adv. Math. 382, Article ID 107651, 116 p. (2021). MSC: 14F42 14P10 55P91 PDF BibTeX XML Cite \textit{E. Elmanto} and \textit{J. Shah}, Adv. Math. 382, Article ID 107651, 116 p. (2021; Zbl 1484.14046) Full Text: DOI arXiv OpenURL
Harding, John; Heunen, Chris Topos quantum theory with short posets. (English) Zbl 1475.81007 Order 38, No. 1, 111-125 (2021). MSC: 81P10 03G30 18B25 18F20 46L60 PDF BibTeX XML Cite \textit{J. Harding} and \textit{C. Heunen}, Order 38, No. 1, 111--125 (2021; Zbl 1475.81007) Full Text: DOI arXiv OpenURL
Rasekh, Nima Every elementary higher topos has a natural number object. (English) Zbl 1464.18006 Theory Appl. Categ. 37, 337-377 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03G30 18N60 55U35 PDF BibTeX XML Cite \textit{N. Rasekh}, Theory Appl. Categ. 37, 337--377 (2021; Zbl 1464.18006) Full Text: arXiv Link OpenURL
Stine, Jay Clopen objects, connected objects, and normalized topological categories. (English) Zbl 1457.18011 Topology Appl. 290, Article ID 107593, 8 p. (2021). Reviewer: Joaquín Luna-Torres (Cartagena) MSC: 18F60 54A05 54B30 18C40 54D05 PDF BibTeX XML Cite \textit{J. Stine}, Topology Appl. 290, Article ID 107593, 8 p. (2021; Zbl 1457.18011) Full Text: DOI OpenURL
Kouneiher, Joseph; da Costa, Newton The mathematical descriptions of truth and change. (English) Zbl 1490.03005 Found. Sci. 25, No. 3, 647-670 (2020). MSC: 03A05 00A30 03G30 PDF BibTeX XML Cite \textit{J. Kouneiher} and \textit{N. da Costa}, Found. Sci. 25, No. 3, 647--670 (2020; Zbl 1490.03005) Full Text: DOI OpenURL
Hemelaer, Jens A topological groupoid representing the topos of presheaves on a monoid. (English) Zbl 1460.18009 Appl. Categ. Struct. 28, No. 5, 749-772 (2020). MSC: 18F10 18B35 18B40 18F20 18F70 22A22 58A03 58H05 PDF BibTeX XML Cite \textit{J. Hemelaer}, Appl. Categ. Struct. 28, No. 5, 749--772 (2020; Zbl 1460.18009) Full Text: DOI arXiv OpenURL
Espíndola, Christian Infinitary generalizations of Deligne’s completeness theorem. (English) Zbl 1464.18005 J. Symb. Log. 85, No. 3, 1147-1162 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18C50 03G30 03C75 PDF BibTeX XML Cite \textit{C. Espíndola}, J. Symb. Log. 85, No. 3, 1147--1162 (2020; Zbl 1464.18005) Full Text: DOI arXiv OpenURL
Cvetko-Vah, Karin; Hemelaer, Jens; Le Bruyn, Lieven Duality for noncommutative frames. (English) Zbl 1467.18022 Topology Appl. 282, Article ID 107310, 26 p. (2020). Reviewer: Luis Angel Zaldívar-Corichi (Guadalajara) MSC: 18F70 06D22 PDF BibTeX XML Cite \textit{K. Cvetko-Vah} et al., Topology Appl. 282, Article ID 107310, 26 p. (2020; Zbl 1467.18022) Full Text: DOI arXiv OpenURL
Garner, Richard Ultrafilters, finite coproducts and locally connected classifying toposes. (English) Zbl 1460.03008 Ann. Pure Appl. Logic 171, No. 10, Article ID 102831, 29 p. (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03C20 03G30 18B25 18A35 PDF BibTeX XML Cite \textit{R. Garner}, Ann. Pure Appl. Logic 171, No. 10, Article ID 102831, 29 p. (2020; Zbl 1460.03008) Full Text: DOI arXiv OpenURL
Vigneaux, Juan Pablo Information structures and their cohomology. (English) Zbl 1448.55011 Theory Appl. Categ. 35, 1476-1529 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 55N35 94A15 39B05 60A99 PDF BibTeX XML Cite \textit{J. P. Vigneaux}, Theory Appl. Categ. 35, 1476--1529 (2020; Zbl 1448.55011) Full Text: arXiv Link OpenURL
Kim, Igsung A study on the quasi topos. (English) Zbl 1444.18006 Korean J. Math. 28, No. 1, 75-87 (2020). MSC: 18B25 PDF BibTeX XML Cite \textit{I. Kim}, Korean J. Math. 28, No. 1, 75--87 (2020; Zbl 1444.18006) Full Text: DOI OpenURL
Turcio, Luis Jesús Cohesive toposes of sheaves on monoids of continuous endofunctions of the unit interval. (English) Zbl 1441.18014 Theory Appl. Categ. 35, 1087-1100 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F60 18F10 PDF BibTeX XML Cite \textit{L. J. Turcio}, Theory Appl. Categ. 35, 1087--1100 (2020; Zbl 1441.18014) Full Text: Link OpenURL
Carchedi, David Joseph Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi. (English) Zbl 1442.18002 Memoirs of the American Mathematical Society 1282. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4144-9/pbk; 978-1-4704-5810-2/ebook). v, 120 p. (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18-02 18B25 14A30 18N60 14D23 58A03 PDF BibTeX XML Cite \textit{D. J. Carchedi}, Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 1442.18002) Full Text: DOI arXiv Link OpenURL
Hazratpour, Sina; Vickers, Steven Fibrations of AU-contexts Beget fibrations of toposes. (English) Zbl 1462.18001 Theory Appl. Categ. 35, 562-593 (2020). MSC: 18D30 03G30 18F10 18C30 18N10 PDF BibTeX XML Cite \textit{S. Hazratpour} and \textit{S. Vickers}, Theory Appl. Categ. 35, 562--593 (2020; Zbl 1462.18001) Full Text: arXiv Link OpenURL
Sagnier, Aurélien An arithmetic site at the complex place. (English) Zbl 1458.11109 J. Number Theory 212, 173-202 (2020). Reviewer: Federico Bambozzi (Oxford) MSC: 11G99 11R29 18B25 PDF BibTeX XML Cite \textit{A. Sagnier}, J. Number Theory 212, 173--202 (2020; Zbl 1458.11109) Full Text: DOI OpenURL
Vergura, Marco \(L'\)-localization in an \(\infty\)-topos. (English) Zbl 1439.18024 Theory Appl. Categ. 35, 196-227 (2020). Reviewer: Nima Rasekh (Lausanne) MSC: 18N60 55P60 PDF BibTeX XML Cite \textit{M. Vergura}, Theory Appl. Categ. 35, 196--227 (2020; Zbl 1439.18024) Full Text: arXiv Link OpenURL
Schultz, Patrick; Spivak, David I.; Vasilakopoulou, Christina Dynamical systems and sheaves. (English) Zbl 1436.18006 Appl. Categ. Struct. 28, No. 1, 1-57 (2020). Reviewer: Philippe Gaucher (Paris) MSC: 18F20 18M60 18M05 18B20 18B25 37B99 PDF BibTeX XML Cite \textit{P. Schultz} et al., Appl. Categ. Struct. 28, No. 1, 1--57 (2020; Zbl 1436.18006) Full Text: DOI arXiv OpenURL
Belarbi, Lakehal; El Hendi, Hichem; Latti, Fethi On the geometry of the tangent bundle with vertical rescaled generalized Cheeger-Gromoll metric. (English) Zbl 1488.58001 Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 12(61), No. 2, 247-264 (2019). MSC: 58A03 58A05 PDF BibTeX XML Cite \textit{L. Belarbi} et al., Bull. Transilv. Univ. Brașov, Ser. III, Math. Inform. Phys. 12(61), No. 2, 247--264 (2019; Zbl 1488.58001) Full Text: DOI OpenURL
Wang, Xiaoyang; Wang, Baoshan; Wang, Yongjun; Zhou, Heng The axioms of choice in fuzzy category \(\mathbf{fuz}\). (Chinese. English summary) Zbl 1449.03017 Fuzzy Syst. Math. 33, No. 4, 21-27 (2019). MSC: 03E25 03E72 18B05 18B25 PDF BibTeX XML Cite \textit{X. Wang} et al., Fuzzy Syst. Math. 33, No. 4, 21--27 (2019; Zbl 1449.03017) OpenURL
Gorbow, Paul K. Algebraic new foundations. (English) Zbl 1440.18005 J. Symb. Log. 84, No. 2, 798-832 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03C62 03E30 03E35 03G30 18C50 PDF BibTeX XML Cite \textit{P. K. Gorbow}, J. Symb. Log. 84, No. 2, 798--832 (2019; Zbl 1440.18005) Full Text: DOI OpenURL
Kanjanzadeh, Zeinab; Madanshekaf, Ali Po-groups and hypergroups in a topos. (English) Zbl 1429.20051 Turk. J. Math. 43, No. 5, 2578-2591 (2019). MSC: 20N20 06F15 18B25 PDF BibTeX XML Cite \textit{Z. Kanjanzadeh} and \textit{A. Madanshekaf}, Turk. J. Math. 43, No. 5, 2578--2591 (2019; Zbl 1429.20051) Full Text: Link OpenURL
Lu, Qing; Zheng, Weizhe Duality and nearby cycles over general bases. (English) Zbl 1451.14059 Duke Math. J. 168, No. 16, 3135-3213 (2019). MSC: 14F20 18F10 32S30 PDF BibTeX XML Cite \textit{Q. Lu} and \textit{W. Zheng}, Duke Math. J. 168, No. 16, 3135--3213 (2019; Zbl 1451.14059) Full Text: DOI arXiv OpenURL
Belarbi, Lakehal; Elhendi, Hichem Geometry of twisted Sasaki metric. (English) Zbl 1430.58001 J. Geom. Symmetry Phys. 53, 1-19 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 58A03 58A05 PDF BibTeX XML Cite \textit{L. Belarbi} and \textit{H. Elhendi}, J. Geom. Symmetry Phys. 53, 1--19 (2019; Zbl 1430.58001) Full Text: DOI Euclid OpenURL
Tan, Fucheng; Tong, Jilong Crystalline comparison isomorphisms in \(p\)-adic Hodge theory: the absolutely unramified case. (English) Zbl 1454.14060 Algebra Number Theory 13, No. 7, 1509-1581 (2019). MSC: 14F30 11G25 PDF BibTeX XML Cite \textit{F. Tan} and \textit{J. Tong}, Algebra Number Theory 13, No. 7, 1509--1581 (2019; Zbl 1454.14060) Full Text: DOI arXiv OpenURL
Khanjanzadeh, Zeinab; Madanshekaf, Ali On projection algebras. (English) Zbl 1438.20074 Southeast Asian Bull. Math. 43, No. 2, 207-215 (2019). MSC: 20M30 20M50 18B25 PDF BibTeX XML Cite \textit{Z. Khanjanzadeh} and \textit{A. Madanshekaf}, Southeast Asian Bull. Math. 43, No. 2, 207--215 (2019; Zbl 1438.20074) OpenURL
Menni, Matias Monic skeleta, boundaries, Aufhebung, and the meaning of ‘one-dimensionality’. (English) Zbl 1469.18006 Theory Appl. Categ. 34, 714-735 (2019). Reviewer: Nima Rasekh (Lausanne) MSC: 18B25 18F20 18N99 PDF BibTeX XML Cite \textit{M. Menni}, Theory Appl. Categ. 34, 714--735 (2019; Zbl 1469.18006) Full Text: Link OpenURL
Hemelaer, Jens An arithmetic topos for integer matrices. (English) Zbl 1454.11076 J. Number Theory 204, 155-184 (2019). MSC: 11F23 11G99 11M55 14A20 18B25 PDF BibTeX XML Cite \textit{J. Hemelaer}, J. Number Theory 204, 155--184 (2019; Zbl 1454.11076) Full Text: DOI arXiv OpenURL
Vickers, Steven Sketches for arithmetic universes. (English) Zbl 1420.18011 J. Log. Anal. 11, Paper No. FT4, 56 p. (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C30 03G30 PDF BibTeX XML Cite \textit{S. Vickers}, J. Log. Anal. 11, Paper No. FT4, 56 p. (2019; Zbl 1420.18011) Full Text: arXiv Link OpenURL
Carchedi, David Étale stacks as prolongations. (English) Zbl 1439.14012 Adv. Math. 352, 56-132 (2019). MSC: 14A20 14F20 53C08 PDF BibTeX XML Cite \textit{D. Carchedi}, Adv. Math. 352, 56--132 (2019; Zbl 1439.14012) Full Text: DOI arXiv Link OpenURL
Iwase, Norio; Izumida, Nobuyuki Mayer-Vietoris sequence for differentiable/diffeological spaces. (English) Zbl 1419.58005 Singh, Mahender (ed.) et al., Algebraic topology and related topics. Selected papers based on the presentations at the 7th East Asian conference on algebraic topology, Mohali, Punjab, India, December 1–6, 2017. Singapore: Birkhäuser. Trends Math., 123-151 (2019). MSC: 58A40 58A03 58A10 58A12 55N10 PDF BibTeX XML Cite \textit{N. Iwase} and \textit{N. Izumida}, in: Algebraic topology and related topics. Selected papers based on the presentations at the 7th East Asian conference on algebraic topology, Mohali, Punjab, India, December 1--6, 2017. Singapore: Birkhäuser. 123--151 (2019; Zbl 1419.58005) Full Text: DOI arXiv OpenURL
Cvetko-Vah, Karin; Hemelaer, Jens; Le Bruyn, Lieven What is a noncommutative topos? (English) Zbl 1415.18003 J. Algebra Appl. 18, No. 6, Article ID 1950107, 18 p. (2019). MSC: 18B25 06D75 14A22 PDF BibTeX XML Cite \textit{K. Cvetko-Vah} et al., J. Algebra Appl. 18, No. 6, Article ID 1950107, 18 p. (2019; Zbl 1415.18003) Full Text: DOI arXiv OpenURL
Caramello, Olivia; Lafforgue, Laurent Some aspects of topological Galois theory. (English) Zbl 1420.18005 J. Geom. Phys. 142, 287-317 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 18A15 18A35 13B05 18B25 18C10 18F10 18F20 20B27 03C65 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{L. Lafforgue}, J. Geom. Phys. 142, 287--317 (2019; Zbl 1420.18005) Full Text: DOI OpenURL
Hoyois, Marc Topoi of parametrized objects. (English) Zbl 1411.18004 Theory Appl. Categ. 34, 243-248 (2019). MSC: 18B25 55P99 PDF BibTeX XML Cite \textit{M. Hoyois}, Theory Appl. Categ. 34, 243--248 (2019; Zbl 1411.18004) Full Text: arXiv Link OpenURL
Frumin, Dan; van den Berg, Benno A homotopy-theoretic model of function extensionality in the effective topos. (English) Zbl 1422.18005 Math. Struct. Comput. Sci. 29, No. 4, 588-614 (2019). Reviewer: Alexander Vauth (Lübbecke) MSC: 18B25 03B15 55U35 PDF BibTeX XML Cite \textit{D. Frumin} and \textit{B. van den Berg}, Math. Struct. Comput. Sci. 29, No. 4, 588--614 (2019; Zbl 1422.18005) Full Text: DOI arXiv OpenURL
Shulman, Michael Comparing material and structural set theories. (English) Zbl 1412.18004 Ann. Pure Appl. Logic 170, No. 4, 465-504 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03F65 03G30 18B05 03E70 PDF BibTeX XML Cite \textit{M. Shulman}, Ann. Pure Appl. Logic 170, No. 4, 465--504 (2019; Zbl 1412.18004) Full Text: DOI arXiv OpenURL
Menni, Matías Every sufficiently cohesive topos is infinitesimally generated. (English. French summary) Zbl 1427.18003 Cah. Topol. Géom. Différ. Catég. 60, No. 1, 3-31 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18F20 03B99 PDF BibTeX XML Cite \textit{M. Menni}, Cah. Topol. Géom. Différ. Catég. 60, No. 1, 3--31 (2019; Zbl 1427.18003) Full Text: Link OpenURL
Orton, Ian; Pitts, Andrew M. Models of type theory based on Moore paths. (English) Zbl 07003197 Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{I. Orton} and \textit{A. M. Pitts}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019; Zbl 07003197) Full Text: DOI arXiv OpenURL
Rodin, Andrei On the constructive axiomatic method. (English) Zbl 1436.03314 Log. Anal., Nouv. Sér. 61, No. 242, 201-231 (2018). MSC: 03F65 03G30 03B38 PDF BibTeX XML Cite \textit{A. Rodin}, Log. Anal., Nouv. Sér. 61, No. 242, 201--231 (2018; Zbl 1436.03314) Full Text: DOI OpenURL
Su, Xiaoxia; Tang, Jiangang; Zhang, Kaiqiang; Zhang, Dongdong; Zhou, Huanhuan Study on the relationship between internal partially ordered objects and internal lattice objects in Topos. (Chinese. English summary) Zbl 1424.18018 Math. Pract. Theory 48, No. 19, 228-234 (2018). MSC: 18D35 06B35 PDF BibTeX XML Cite \textit{X. Su} et al., Math. Pract. Theory 48, No. 19, 228--234 (2018; Zbl 1424.18018) OpenURL
Menni, Matías The unity and identity of decidable objects and double-negation sheaves. (English) Zbl 1409.18002 J. Symb. Log. 83, No. 4, 1667-1679 (2018). MSC: 18B25 18F20 03E99 03G30 PDF BibTeX XML Cite \textit{M. Menni}, J. Symb. Log. 83, No. 4, 1667--1679 (2018; Zbl 1409.18002) Full Text: DOI arXiv OpenURL
Henry, Simon The localic isotropy group of a topos. (English) Zbl 1494.18003 Theory Appl. Categ. 33, 1318-1345 (2018). MSC: 18B25 03G30 18A32 18N10 PDF BibTeX XML Cite \textit{S. Henry}, Theory Appl. Categ. 33, 1318--1345 (2018; Zbl 1494.18003) Full Text: arXiv Link Backlinks: MO OpenURL
Meadows, Nicholas J. Local complete Segal spaces. (English) Zbl 1409.18017 Appl. Categ. Struct. 26, No. 6, 1265-1281 (2018). Reviewer: Martina Rovelli (Baltimore) MSC: 18G30 18F20 55U35 PDF BibTeX XML Cite \textit{N. J. Meadows}, Appl. Categ. Struct. 26, No. 6, 1265--1281 (2018; Zbl 1409.18017) Full Text: DOI arXiv OpenURL
Ebrahimi, M. M.; Mahmoudi, M.; Nejah, A. H. \(T_0\) topological spaces and \(T_0\) posets in the topos of \(M\)-Sets. (English) Zbl 1404.18006 Theory Appl. Categ. 33, 1059-1071 (2018). Reviewer: Ali Madanshekaf (Semnan) MSC: 18A40 18B25 06A06 06D22 54D10 20M30 PDF BibTeX XML Cite \textit{M. M. Ebrahimi} et al., Theory Appl. Categ. 33, 1059--1071 (2018; Zbl 1404.18006) Full Text: Link OpenURL
Khanjanzadeh, Zeinab; Madanshekaf, Ali Lawvere-Tierney sheaves, factorization systems, sections and \(j\)-essential monomorphisms in a topos. (English) Zbl 1448.18002 Ital. J. Pure Appl. Math. 39, 55-72 (2018). MSC: 18A32 18B25 18F20 PDF BibTeX XML Cite \textit{Z. Khanjanzadeh} and \textit{A. Madanshekaf}, Ital. J. Pure Appl. Math. 39, 55--72 (2018; Zbl 1448.18002) Full Text: arXiv Link OpenURL
Henry, Simon On toposes generated by cardinal finite objects. (English) Zbl 1401.18008 Math. Proc. Camb. Philos. Soc. 165, No. 2, 209-223 (2018). Reviewer: Jacopo Emmenegger (Stockholm) MSC: 18B25 03G30 PDF BibTeX XML Cite \textit{S. Henry}, Math. Proc. Camb. Philos. Soc. 165, No. 2, 209--223 (2018; Zbl 1401.18008) Full Text: DOI arXiv OpenURL
Pervova, Ekaterina On the notion of scalar product for finite-dimensional diffeological vector spaces. (English) Zbl 1393.58001 Electron. J. Linear Algebra 34, 18-27 (2018). MSC: 58A03 58A40 53C15 57R35 PDF BibTeX XML Cite \textit{E. Pervova}, Electron. J. Linear Algebra 34, 18--27 (2018; Zbl 1393.58001) Full Text: arXiv OpenURL
Townsend, Christopher Double power monad preserving adjunctions are Frobenius. (English) Zbl 1410.18006 Theory Appl. Categ. 33, 476-491 (2018). MSC: 18B25 06D22 18B40 18D35 22E45 22A22 PDF BibTeX XML Cite \textit{C. Townsend}, Theory Appl. Categ. 33, 476--491 (2018; Zbl 1410.18006) Full Text: Link OpenURL
Cicala, Daniel; Courser, Kenny Spans of cospans in a topos. (English) Zbl 1395.18002 Theory Appl. Categ. 33, 1-22 (2018). Reviewer: Marek Golasiński (Olsztyn) MSC: 18B25 18D05 18D10 PDF BibTeX XML Cite \textit{D. Cicala} and \textit{K. Courser}, Theory Appl. Categ. 33, 1--22 (2018; Zbl 1395.18002) Full Text: arXiv Link OpenURL
König, Harald; Wolter, Uwe Van Kampen colimits and path uniqueness. (English) Zbl 1404.18005 Log. Methods Comput. Sci. 14, No. 2, Paper No. 5, 27 p. (2018). Reviewer: Jiří Rosický (Brno) MSC: 18A30 18B99 PDF BibTeX XML Cite \textit{H. König} and \textit{U. Wolter}, Log. Methods Comput. Sci. 14, No. 2, Paper No. 5, 27 p. (2018; Zbl 1404.18005) Full Text: DOI arXiv OpenURL
Porta, Mauro; Yu, Tony Yue Derived non-Archimedean analytic spaces. (English) Zbl 1423.14172 Sel. Math., New Ser. 24, No. 2, 609-665 (2018). MSC: 14G22 14A20 14F05 18B25 18F99 PDF BibTeX XML Cite \textit{M. Porta} and \textit{T. Y. Yu}, Sel. Math., New Ser. 24, No. 2, 609--665 (2018; Zbl 1423.14172) Full Text: DOI arXiv Link OpenURL
Hoyois, Marc Higher Galois theory. (English) Zbl 1403.18003 J. Pure Appl. Algebra 222, No. 7, 1859-1877 (2018). Reviewer: Timothy Porter (Llandegfan) MSC: 18B25 54C56 55P55 PDF BibTeX XML Cite \textit{M. Hoyois}, J. Pure Appl. Algebra 222, No. 7, 1859--1877 (2018; Zbl 1403.18003) Full Text: DOI arXiv OpenURL
Kuribayashi, Katsuhiko; Numata, Yasuhiude A topos associated with a colored category. (English) Zbl 1381.05086 J. Comb. Theory, Ser. A 156, 142-163 (2018). MSC: 05E10 05E30 PDF BibTeX XML Cite \textit{K. Kuribayashi} and \textit{Y. Numata}, J. Comb. Theory, Ser. A 156, 142--163 (2018; Zbl 1381.05086) Full Text: DOI arXiv OpenURL
Bunge, Marta; Gago, Felipe; San Luis Fernández, Ana María Synthetic differential topology. (English) Zbl 1398.57002 London Mathematical Society Lecture Note Series 448. Cambridge: Cambridge University Press (ISBN 978-1-108-44723-2/pbk; 978-1-108-55349-0/ebook). ix, 223 p. (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 57-02 57R99 58A03 18F15 18B25 51K10 PDF BibTeX XML Cite \textit{M. Bunge} et al., Synthetic differential topology. Cambridge: Cambridge University Press (2018; Zbl 1398.57002) Full Text: DOI OpenURL
Funk, Jonathon; Hofstra, Pieter Locally anisotropic toposes. (English) Zbl 1390.18007 J. Pure Appl. Algebra 222, No. 6, 1251-1286 (2018). Reviewer: Peeter Normak (Tallinn) MSC: 18B25 18B40 20M18 PDF BibTeX XML Cite \textit{J. Funk} and \textit{P. Hofstra}, J. Pure Appl. Algebra 222, No. 6, 1251--1286 (2018; Zbl 1390.18007) Full Text: DOI Link OpenURL
Kuber, Amit; Rosický, Jiří Definable categories. (English) Zbl 1408.18007 J. Pure Appl. Algebra 222, No. 5, 1006-1025 (2018). Reviewer: Serguei V. Solov’ev (Toulouse) MSC: 18C35 18E10 03G30 18C10 PDF BibTeX XML Cite \textit{A. Kuber} and \textit{J. Rosický}, J. Pure Appl. Algebra 222, No. 5, 1006--1025 (2018; Zbl 1408.18007) Full Text: DOI arXiv OpenURL
Flori, Cecilia A second course in topos quantum theory. (English) Zbl 1398.81002 Lecture Notes in Physics 944. Cham: Springer (ISBN 978-3-319-71107-2/pbk; 978-3-319-71108-9/ebook). xiv, 342 p. (2018). Reviewer: S. Moskaliuk (Kyiv) MSC: 81-02 81S99 81P05 58A03 16B50 18B30 54B30 83C45 81P15 06D20 46L10 54B40 18B25 81R15 46L05 00A79 PDF BibTeX XML Cite \textit{C. Flori}, A second course in topos quantum theory. Cham: Springer (2018; Zbl 1398.81002) Full Text: DOI OpenURL
Orton, Ian; Pitts, Andrew M. Models of type theory based on Moore paths. (English) Zbl 1434.03043 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 28, 16 p. (2017). MSC: 03B38 55U35 03G30 PDF BibTeX XML Cite \textit{I. Orton} and \textit{A. M. Pitts}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 28, 16 p. (2017; Zbl 1434.03043) Full Text: DOI OpenURL
König, Harald; Wolter, Uwe Being Van Kampen in presheaf topoi is a uniqueness property. (English) Zbl 1433.68098 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 16, 15 p. (2017). MSC: 68N30 03G30 18A30 18B25 18F20 68Q55 PDF BibTeX XML Cite \textit{H. König} and \textit{U. Wolter}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 16, 15 p. (2017; Zbl 1433.68098) Full Text: DOI OpenURL
Nishimura, Hirokazu Weil diffeology. I: Classical differential geometry. (English) Zbl 1387.58003 Math. Appl., Brno 6, No. 2, 171-189 (2017). MSC: 58A03 18F99 51K10 PDF BibTeX XML Cite \textit{H. Nishimura}, Math. Appl., Brno 6, No. 2, 171--189 (2017; Zbl 1387.58003) Full Text: DOI arXiv OpenURL
Johnstone, Peter Functoriality of modified realizability. (English) Zbl 1386.18008 Tbil. Math. J. 10, No. 3, 209-222 (2017). MSC: 18B25 03D65 03G30 08A55 PDF BibTeX XML Cite \textit{P. Johnstone}, Tbil. Math. J. 10, No. 3, 209--222 (2017; Zbl 1386.18008) Full Text: DOI OpenURL
Flori, Cecilia; Fritz, Tobias (Almost) \({C}^\ast\)-algebras as sheaves with self-action. (English) Zbl 1386.46043 J. Noncommut. Geom. 11, No. 3, 1069-1113 (2017). MSC: 46L05 46L60 18F20 46M15 81T05 PDF BibTeX XML Cite \textit{C. Flori} and \textit{T. Fritz}, J. Noncommut. Geom. 11, No. 3, 1069--1113 (2017; Zbl 1386.46043) Full Text: DOI arXiv OpenURL
Nishimura, Hirokazu Higher-dimensional general Jacobi identities. I. (English) Zbl 1410.58001 Math. Appl., Brno 6, No. 1, 43-98 (2017). Reviewer: John Harvey (Cardiff) MSC: 58A03 18F15 51K10 PDF BibTeX XML Cite \textit{H. Nishimura}, Math. Appl., Brno 6, No. 1, 43--98 (2017; Zbl 1410.58001) Full Text: DOI arXiv OpenURL
Caramello, O.; Russo, A. C. On the geometric theory of local MV-algebras. (English) Zbl 1423.06045 J. Algebra 479, 263-313 (2017). MSC: 06D35 03G30 06B20 06F20 18B25 18C10 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{A. C. Russo}, J. Algebra 479, 263--313 (2017; Zbl 1423.06045) Full Text: DOI arXiv OpenURL
Schröer, Stefan Points in the fppf topology. (English) Zbl 1409.14037 Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 17, No. 2, 419-447 (2017). Reviewer: Leovigildo Alonso-Tarrío (Santiago de Compostela) MSC: 14F20 13B40 18B25 18F10 PDF BibTeX XML Cite \textit{S. Schröer}, Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 17, No. 2, 419--447 (2017; Zbl 1409.14037) Full Text: DOI arXiv OpenURL
Le Bruyn, Lieven Linear recursive sequences and \(\mathsf{Spec}(\mathbb{Z})\) over \(\mathbb{F}_{1}\). (English) Zbl 1375.14013 Commun. Algebra 45, No. 7, 3150-3158 (2017). Reviewer: Sergey Ludkovsky (Moskva) MSC: 14A22 16G20 37C20 PDF BibTeX XML Cite \textit{L. Le Bruyn}, Commun. Algebra 45, No. 7, 3150--3158 (2017; Zbl 1375.14013) Full Text: DOI OpenURL
Marmolejo, F.; Menni, M. On the relation between continuous and combinatorial. (English) Zbl 1408.18004 J. Homotopy Relat. Struct. 12, No. 2, 379-412 (2017). MSC: 18B25 PDF BibTeX XML Cite \textit{F. Marmolejo} and \textit{M. Menni}, J. Homotopy Relat. Struct. 12, No. 2, 379--412 (2017; Zbl 1408.18004) Full Text: DOI arXiv OpenURL
Kudryavtseva, Ganna; Škraba, Primož The principal bundles over an inverse semigroup. (English) Zbl 1422.20039 Semigroup Forum 94, No. 3, 674-695 (2017). MSC: 20M30 20M18 20M50 18B25 18B40 PDF BibTeX XML Cite \textit{G. Kudryavtseva} and \textit{P. Škraba}, Semigroup Forum 94, No. 3, 674--695 (2017; Zbl 1422.20039) Full Text: DOI arXiv OpenURL
Benini, Marco; Schenkel, Alexander Poisson algebras for non-linear field theories in the Cahiers topos. (English) Zbl 1414.58001 Ann. Henri Poincaré 18, No. 4, 1435-1464 (2017). MSC: 58A03 51K10 70S20 17B63 PDF BibTeX XML Cite \textit{M. Benini} and \textit{A. Schenkel}, Ann. Henri Poincaré 18, No. 4, 1435--1464 (2017; Zbl 1414.58001) Full Text: DOI arXiv Link OpenURL
Caramello, Olivia; Wentzlaff, Nicholas Cyclic theories. (English) Zbl 1386.18006 Appl. Categ. Struct. 25, No. 1, 105-126 (2017). Reviewer: Caterina Consani (Baltimore) MSC: 18B25 18C10 03G10 19D55 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{N. Wentzlaff}, Appl. Categ. Struct. 25, No. 1, 105--126 (2017; Zbl 1386.18006) Full Text: DOI arXiv OpenURL