Siqueira, José Nonstandard proof methods in toposes. (English) Zbl 07815140 Ann. Pure Appl. Logic 175, No. 5, Article ID 103424, 20 p. (2024). MSC: 03H05 03G30 18B25 18B05 PDFBibTeX XMLCite \textit{J. Siqueira}, Ann. Pure Appl. Logic 175, No. 5, Article ID 103424, 20 p. (2024; Zbl 07815140) Full Text: DOI arXiv
Blohmann, Christian Elastic diffeological spaces. (English) Zbl 07807743 Magnot, Jean-Pierre (ed.), Recent advances in diffeologies and their applications. AMS-EMS-SMF special session, Université de Grenoble-Alpes, Grenoble, France, July 18–20, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 794, 49-86 (2024). MSC: 58A40 58A03 18F15 18F40 58A10 PDFBibTeX XMLCite \textit{C. Blohmann}, Contemp. Math. 794, 49--86 (2024; Zbl 07807743) Full Text: DOI arXiv
Anel, Mathieu; Biedermann, Georg; Finster, Eric; Joyal, André Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies. (English) Zbl 1523.18008 J. Pure Appl. Algebra 228, No. 3, Article ID 107472, 63 p. (2024). Reviewer: Hirokazu Nishimura (Tsukuba) (MR4612709) MSC: 18F10 18N60 PDFBibTeX XMLCite \textit{M. Anel} et al., J. Pure Appl. Algebra 228, No. 3, Article ID 107472, 63 p. (2024; Zbl 1523.18008) Full Text: DOI arXiv
Azi, K.; Hamraoui, H.; Haddar, N. Grothendieck topologies and applications. (English) Zbl 07780070 J. Linear Topol. Algebra 12, No. 2, 141-151 (2023). MSC: 18-XX 14-XX 46A19 PDFBibTeX XMLCite \textit{K. Azi} et al., J. Linear Topol. Algebra 12, No. 2, 141--151 (2023; Zbl 07780070) Full Text: DOI
Henry, Simon; Townsend, Christopher Compact Hausdorff locales in presheaf toposes. (English) Zbl 07761579 Appl. Categ. Struct. 31, No. 6, Paper No. 45, 11 p. (2023). MSC: 06D22 18B25 18F20 18F70 PDFBibTeX XMLCite \textit{S. Henry} and \textit{C. Townsend}, Appl. Categ. Struct. 31, No. 6, Paper No. 45, 11 p. (2023; Zbl 07761579) Full Text: DOI arXiv
Wu, Mawei; Xu, Fei Skew category algebras and modules on ringed finite sites. (English) Zbl 1520.18010 J. Algebra 631, 194-217 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F10 16D90 18A25 18F20 PDFBibTeX XMLCite \textit{M. Wu} and \textit{F. Xu}, J. Algebra 631, 194--217 (2023; Zbl 1520.18010) Full Text: DOI arXiv
Caramello, Olivia; Osmond, Axel The over-topos at a model. (English) Zbl 1512.18005 Theory Appl. Categ. 39, 447-492 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F10 18C10 03G30 18B25 PDFBibTeX XMLCite \textit{O. Caramello} and \textit{A. Osmond}, Theory Appl. Categ. 39, 447--492 (2023; Zbl 1512.18005) Full Text: arXiv Link
Aiguier, Marc; Bloch, Isabelle Abstract categorical logic. (English) Zbl 07682168 Log. Univers. 17, No. 1, 23-67 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G30 03C95 18B25 PDFBibTeX XMLCite \textit{M. Aiguier} and \textit{I. Bloch}, Log. Univers. 17, No. 1, 23--67 (2023; Zbl 07682168) Full Text: DOI
Frey, Jonas; Rasekh, Nima Constructing coproducts in locally Cartesian closed \(\infty\)-categories. (English) Zbl 1510.18002 Homology Homotopy Appl. 25, No. 1, 71-86 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03G30 PDFBibTeX XMLCite \textit{J. Frey} and \textit{N. Rasekh}, Homology Homotopy Appl. 25, No. 1, 71--86 (2023; Zbl 1510.18002) Full Text: DOI arXiv
Mahmoudi, Mojgan; Sepahani, Sara The category \(\mathcal{S} h_{j^I}\mathbf{MSet}\) of sheaves in \(\mathbf{MSet}\). (English) Zbl 1508.18002 J. Algebra Appl. 22, No. 4, Article ID 2350085, 13 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18F10 18F20 20M30 20M50 PDFBibTeX XMLCite \textit{M. Mahmoudi} and \textit{S. Sepahani}, J. Algebra Appl. 22, No. 4, Article ID 2350085, 13 p. (2023; Zbl 1508.18002) Full Text: DOI
Caramello, Olivia The unification of mathematics via topos theory. (English) Zbl 07740533 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 563-601 (2022). MSC: 03A05 03Bxx 01A25 01A55 03G30 18C10 18B25 PDFBibTeX XMLCite \textit{O. Caramello}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 563--601 (2022; Zbl 07740533) Full Text: DOI arXiv
Mahmoudi, Mojgan; Sepahani, Sara Stone representation theorem for Boolean algebras in the topos \(M\mathbf{Set}\). (English) Zbl 1514.18005 Quaest. Math. 45, No. 12, 1921-1930 (2022). Reviewer: Peeter Normak (Tallinn) MSC: 18B25 06E25 06E75 18A25 20M30 PDFBibTeX XMLCite \textit{M. Mahmoudi} and \textit{S. Sepahani}, Quaest. Math. 45, No. 12, 1921--1930 (2022; Zbl 1514.18005) Full Text: DOI
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 PDFBibTeX XMLCite \textit{D. Bourn}, Appl. Categ. Struct. 30, No. 6, 1153--1176 (2022; Zbl 1502.18007) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Hemelaer}, Cah. Topol. Géom. Différ. Catég. 63, No. 4, 425--451 (2022; Zbl 1499.18008) Full Text: arXiv Link
Menni, Matías Maps with discrete fibers and the origin of basepoints. (English) Zbl 1507.18006 Appl. Categ. Struct. 30, No. 5, 991-1015 (2022). MSC: 18B25 18F99 55U35 PDFBibTeX XMLCite \textit{M. Menni}, Appl. Categ. Struct. 30, No. 5, 991--1015 (2022; Zbl 1507.18006) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{J. Parker}, Appl. Categ. Struct. 30, No. 4, 779--803 (2022; Zbl 1491.18014) Full Text: DOI
Mazzola, Guerino; Dey, Sangeeta; Chen, Zilu; Pang, Yan Functorial semiotics for creativity in music and mathematics. (English) Zbl 1520.00002 Computational Music Science. Cham: Springer (ISBN 978-3-030-85189-7/hbk; 978-3-030-85192-7/pbk; 978-3-030-85190-3/ebook). xiii, 166 p. (2022). Reviewer: Octavio A. Agustín-Aquino (Huajuapan de León) MSC: 00-02 68-02 00A65 18B25 68T05 PDFBibTeX XMLCite \textit{G. Mazzola} et al., Functorial semiotics for creativity in music and mathematics. Cham: Springer (2022; Zbl 1520.00002) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Anel} et al., Adv. Math. 400, Article ID 108268, 64 p. (2022; Zbl 1498.18009) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{Y. Kitajima}, Found. Phys. 52, No. 1, Paper No. 12, 27 p. (2022; Zbl 1485.81006) Full Text: DOI arXiv
Guo, Xiao-Kan Contextual extensions of quantum gravity models. (English) Zbl 07820769 Int. J. Geom. Methods Mod. Phys. 18, No. 6, Article ID 2150085, 13 p. (2021). MSC: 18A30 18B25 46L65 83C45 PDFBibTeX XMLCite \textit{X.-K. Guo}, Int. J. Geom. Methods Mod. Phys. 18, No. 6, Article ID 2150085, 13 p. (2021; Zbl 07820769) Full Text: DOI arXiv
Döring, Andreas; Eva, Benjamin; Ozawa, Masanao A bridge between Q-worlds. (English) Zbl 07819579 Rev. Symb. Log. 14, No. 2, 447-486 (2021). MSC: 81P10 03C90 18B25 03B53 03E70 PDFBibTeX XMLCite \textit{A. Döring} et al., Rev. Symb. Log. 14, No. 2, 447--486 (2021; Zbl 07819579) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{D. Carchedi}, High. Struct. 5, No. 1, 121--185 (2021; Zbl 1493.14033) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{A. H. Nejah} et al., Quaest. Math. 44, No. 11, 1563--1592 (2021; Zbl 1490.18003) Full Text: DOI
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 PDFBibTeX XMLCite \textit{G. C. Kato} and \textit{K. Nishimura}, in: Creative complex systems. Singapore: Springer. 113--120 (2021; Zbl 1478.18011) Full Text: DOI
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 PDFBibTeX XMLCite \textit{Y. Maruyama}, J. Symb. Log. 86, No. 3, 1189--1213 (2021; Zbl 1477.18011) Full Text: DOI
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 PDFBibTeX XMLCite \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
Funk, Jonathon; Hofstra, Pieter Toposes for semigroups: an invitation. (English) Zbl 1521.20136 Semigroup Forum 103, No. 3, 715-776 (2021). MSC: 20M18 18B25 20M50 PDFBibTeX XMLCite \textit{J. Funk} and \textit{P. Hofstra}, Semigroup Forum 103, No. 3, 715--776 (2021; Zbl 1521.20136) Full Text: DOI
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 PDFBibTeX XMLCite \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: DOI Link
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 PDFBibTeX XMLCite \textit{M. Rogers}, Theory Appl. Categ. 37, 1017--1079 (2021; Zbl 1473.18011) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{A. Connes} and \textit{C. Consani}, Adv. Math. 390, Article ID 107909, 44 p. (2021; Zbl 1478.14047) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. V. Lawson} and \textit{P. Resende}, J. Algebra 586, 718--755 (2021; Zbl 1474.18020) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Hemelaer} and \textit{M. Rogers}, Appl. Categ. Struct. 29, No. 4, 573--576 (2021; Zbl 1468.18004) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Hemelaer} and \textit{M. Rogers}, Appl. Categ. Struct. 29, No. 3, 379--413 (2021; Zbl 1471.18004) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{F. Marmolejo} and \textit{M. Menni}, Theory Appl. Categ. 36, 250--279 (2021; Zbl 1469.18004) Full Text: Link
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 PDFBibTeX XMLCite \textit{I. Pirashvili}, J. Pure Appl. Algebra 225, No. 12, Article ID 106782, 21 p. (2021; Zbl 1467.18007) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{N. Rasekh}, J. Pure Appl. Algebra 225, No. 12, Article ID 106770, 36 p. (2021; Zbl 1467.18045) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{F. W. Lawvere}, Repr. Theory Appl. Categ. 2021, No. 27, 11 p. (2021; Zbl 1469.18003) Full Text: Link
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 PDFBibTeX XMLCite \textit{J. Harding} and \textit{C. Heunen}, Order 38, No. 1, 111--125 (2021; Zbl 1475.81007) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{N. Rasekh}, Theory Appl. Categ. 37, 337--377 (2021; Zbl 1464.18006) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{J. Stine}, Topology Appl. 290, Article ID 107593, 8 p. (2021; Zbl 1457.18011) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Hemelaer}, Appl. Categ. Struct. 28, No. 5, 749--772 (2020; Zbl 1460.18009) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{C. Espíndola}, J. Symb. Log. 85, No. 3, 1147--1162 (2020; Zbl 1464.18005) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{K. Cvetko-Vah} et al., Topology Appl. 282, Article ID 107310, 26 p. (2020; Zbl 1467.18022) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{R. Garner}, Ann. Pure Appl. Logic 171, No. 10, Article ID 102831, 29 p. (2020; Zbl 1460.03008) Full Text: DOI arXiv
Kim, Igsung A study on the quasi topos. (English) Zbl 1444.18006 Korean J. Math. 28, No. 1, 75-87 (2020). MSC: 18B25 PDFBibTeX XMLCite \textit{I. Kim}, Korean J. Math. 28, No. 1, 75--87 (2020; Zbl 1444.18006) Full Text: DOI
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 PDFBibTeX XMLCite \textit{L. J. Turcio}, Theory Appl. Categ. 35, 1087--1100 (2020; Zbl 1441.18014) Full Text: Link
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{S. Hazratpour} and \textit{S. Vickers}, Theory Appl. Categ. 35, 562--593 (2020; Zbl 1462.18001) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{A. Sagnier}, J. Number Theory 212, 173--202 (2020; Zbl 1458.11109) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Vergura}, Theory Appl. Categ. 35, 196--227 (2020; Zbl 1439.18024) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{P. Schultz} et al., Appl. Categ. Struct. 28, No. 1, 1--57 (2020; Zbl 1436.18006) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{X. Wang} et al., Fuzzy Syst. Math. 33, No. 4, 21--27 (2019; Zbl 1449.03017)
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 PDFBibTeX XMLCite \textit{P. K. Gorbow}, J. Symb. Log. 84, No. 2, 798--832 (2019; Zbl 1440.18005) Full Text: DOI
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 PDFBibTeX XMLCite \textit{Z. Kanjanzadeh} and \textit{A. Madanshekaf}, Turk. J. Math. 43, No. 5, 2578--2591 (2019; Zbl 1429.20051) Full Text: Link
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 PDFBibTeX XMLCite \textit{Q. Lu} and \textit{W. Zheng}, Duke Math. J. 168, No. 16, 3135--3213 (2019; Zbl 1451.14059) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{Z. Khanjanzadeh} and \textit{A. Madanshekaf}, Southeast Asian Bull. Math. 43, No. 2, 207--215 (2019; Zbl 1438.20074)
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 PDFBibTeX XMLCite \textit{M. Menni}, Theory Appl. Categ. 34, 714--735 (2019; Zbl 1469.18006) Full Text: Link
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 PDFBibTeX XMLCite \textit{J. Hemelaer}, J. Number Theory 204, 155--184 (2019; Zbl 1454.11076) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{S. Vickers}, J. Log. Anal. 11, Paper No. FT4, 56 p. (2019; Zbl 1420.18011) Full Text: arXiv Link
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{O. Caramello} and \textit{L. Lafforgue}, J. Geom. Phys. 142, 287--317 (2019; Zbl 1420.18005) Full Text: DOI
Hoyois, Marc Topoi of parametrized objects. (English) Zbl 1411.18004 Theory Appl. Categ. 34, 243-248 (2019). MSC: 18B25 55P99 PDFBibTeX XMLCite \textit{M. Hoyois}, Theory Appl. Categ. 34, 243--248 (2019; Zbl 1411.18004) Full Text: arXiv Link
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{M. Shulman}, Ann. Pure Appl. Logic 170, No. 4, 465--504 (2019; Zbl 1412.18004) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Menni}, Cah. Topol. Géom. Différ. Catég. 60, No. 1, 3--31 (2019; Zbl 1427.18003) Full Text: Link
Orton, Ian; Pitts, Andrew M. Models of type theory based on Moore paths. (English) Zbl 1509.03055 Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019). MSC: 03B38 03G30 18B25 55U35 PDFBibTeX XMLCite \textit{I. Orton} and \textit{A. M. Pitts}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019; Zbl 1509.03055) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{X. Su} et al., Math. Pract. Theory 48, No. 19, 228--234 (2018; Zbl 1424.18018)
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 PDFBibTeX XMLCite \textit{M. Menni}, J. Symb. Log. 83, No. 4, 1667--1679 (2018; Zbl 1409.18002) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{S. Henry}, Theory Appl. Categ. 33, 1318--1345 (2018; Zbl 1494.18003) Full Text: arXiv Link Backlinks: MO
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 PDFBibTeX XMLCite \textit{N. J. Meadows}, Appl. Categ. Struct. 26, No. 6, 1265--1281 (2018; Zbl 1409.18017) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. M. Ebrahimi} et al., Theory Appl. Categ. 33, 1059--1071 (2018; Zbl 1404.18006) Full Text: Link
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 PDFBibTeX XMLCite \textit{Z. Khanjanzadeh} and \textit{A. Madanshekaf}, Ital. J. Pure Appl. Math. 39, 55--72 (2018; Zbl 1448.18002) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{S. Henry}, Math. Proc. Camb. Philos. Soc. 165, No. 2, 209--223 (2018; Zbl 1401.18008) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{C. Townsend}, Theory Appl. Categ. 33, 476--491 (2018; Zbl 1410.18006) Full Text: Link
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 PDFBibTeX XMLCite \textit{D. Cicala} and \textit{K. Courser}, Theory Appl. Categ. 33, 1--22 (2018; Zbl 1395.18002) Full Text: arXiv Link
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{M. Hoyois}, J. Pure Appl. Algebra 222, No. 7, 1859--1877 (2018; Zbl 1403.18003) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Bunge} et al., Synthetic differential topology. Cambridge: Cambridge University Press (2018; Zbl 1398.57002) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Funk} and \textit{P. Hofstra}, J. Pure Appl. Algebra 222, No. 6, 1251--1286 (2018; Zbl 1390.18007) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{A. Kuber} and \textit{J. Rosický}, J. Pure Appl. Algebra 222, No. 5, 1006--1025 (2018; Zbl 1408.18007) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{C. Flori}, A second course in topos quantum theory. Cham: Springer (2018; Zbl 1398.81002) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{H. Nishimura}, Math. Appl., Brno 6, No. 2, 171--189 (2017; Zbl 1387.58003) Full Text: DOI arXiv
Johnstone, Peter Functoriality of modified realizability. (English) Zbl 1386.18008 Tbil. Math. J. 10, No. 3, 209-222 (2017). MSC: 18B25 03D65 03G30 08A55 PDFBibTeX XMLCite \textit{P. Johnstone}, Tbil. Math. J. 10, No. 3, 209--222 (2017; Zbl 1386.18008) Full Text: DOI
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 PDFBibTeX XMLCite \textit{C. Flori} and \textit{T. Fritz}, J. Noncommut. Geom. 11, No. 3, 1069--1113 (2017; Zbl 1386.46043) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{H. Nishimura}, Math. Appl., Brno 6, No. 1, 43--98 (2017; Zbl 1410.58001) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{O. Caramello} and \textit{A. C. Russo}, J. Algebra 479, 263--313 (2017; Zbl 1423.06045) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{F. Marmolejo} and \textit{M. Menni}, J. Homotopy Relat. Struct. 12, No. 2, 379--412 (2017; Zbl 1408.18004) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{G. Kudryavtseva} and \textit{P. Škraba}, Semigroup Forum 94, No. 3, 674--695 (2017; Zbl 1422.20039) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{O. Caramello} and \textit{N. Wentzlaff}, Appl. Categ. Struct. 25, No. 1, 105--126 (2017; Zbl 1386.18006) Full Text: DOI arXiv
Illusie, Luc [Zheng, Weizhe] Around the Thom-Sebastiani theorem, with an appendix by Weizhe Zheng. (English) Zbl 1395.14010 Manuscr. Math. 152, No. 1-2, 61-125 (2017). Reviewer: Yigeng Zhao (Regensburg) MSC: 14F20 11T23 18F10 32S30 32S40 PDFBibTeX XMLCite \textit{L. Illusie}, Manuscr. Math. 152, No. 1--2, 61--125 (2017; Zbl 1395.14010) Full Text: DOI arXiv
Rathjen, Michael Remarks on Barr’s theorem: proofs in geometric theories. (English) Zbl 1433.03165 Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 347-374 (2016). MSC: 03G30 03F05 03F50 03C75 18B25 PDFBibTeX XMLCite \textit{M. Rathjen}, Ontos Math. Log. 6, 347--374 (2016; Zbl 1433.03165) Full Text: DOI arXiv
Cole, J. C. The bicategory of topoi and spectra. (English) Zbl 1401.18016 Repr. Theory Appl. Categ. 2016, No. 25, 1-16 (2016). MSC: 18D05 18B25 18C10 PDFBibTeX XMLCite \textit{J. C. Cole}, Repr. Theory Appl. Categ. 2016, No. 25, 1--16 (2016; Zbl 1401.18016) Full Text: Link
More, Anuj Kumar; Banerjee, Mohua Categories and algebras from rough sets: new facets. (English) Zbl 1388.03049 Fundam. Inform. 148, No. 1-2, 173-190 (2016). MSC: 03E72 18B25 18B05 PDFBibTeX XMLCite \textit{A. K. More} and \textit{M. Banerjee}, Fundam. Inform. 148, No. 1--2, 173--190 (2016; Zbl 1388.03049) Full Text: DOI
Orton, Ian; Pitts, Andrew M. Axioms for modelling cubical type theory in a topos. (English) Zbl 1370.03016 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 24, 19 p. (2016). MSC: 03B15 03G30 18B25 55U40 PDFBibTeX XMLCite \textit{I. Orton} and \textit{A. M. Pitts}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 24, 19~p. (2016; Zbl 1370.03016) Full Text: DOI
Caramello, Olivia; Russo, Anna Carla Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. (English) Zbl 1390.06012 Bull. Symb. Log. 22, No. 2, 170-214 (2016). MSC: 06F20 06D35 03G30 18B25 PDFBibTeX XMLCite \textit{O. Caramello} and \textit{A. C. Russo}, Bull. Symb. Log. 22, No. 2, 170--214 (2016; Zbl 1390.06012) Full Text: DOI arXiv