Found 488 Documents (Results 1–100)
Colimits and cocompletions in internal higher category theory. (English) Zbl 07924488
Reviewer: Hirokazu Nishimura (Tsukuba)
An inverse Fraïssé limit for finite posets and duality for posets and lattices. (English) Zbl 07922307
Factorization systems for restriction categories. (English) Zbl 07902415
Reviewer: Hirokazu Nishimura (Tsukuba)
Factorization systems and double categories. (English) Zbl 1540.18004
Reviewer: Hirokazu Nishimura (Tsukuba)
Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent. (English) Zbl 1540.18021
Reviewer: Hirokazu Nishimura (Tsukuba)
KZ-pseudomonads and Kan injectivity. (English) Zbl 1540.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
A model structure for Grothendieck fibrations. (English) Zbl 1539.18003
Reviewer: Hirokazu Nishimura (Tsukuba)
Diffeological principal bundles and principal infinity bundles. (English) Zbl 07850991
Reviewer: Hirokazu Nishimura (Tsukuba)
On coherent systems of subobjects with application to torsion theories. (English) Zbl 1539.18007
Reviewer: Hirokazu Nishimura (Tsukuba)
The formal theory of relative monads. (English) Zbl 1537.18007
Reviewer: Hirokazu Nishimura (Tsukuba)
Cartesian double theories: a double-categorical framework for categorical doctrines. (English) Zbl 07837853
Formal category theory in augmented virtual double categories. (English) Zbl 1541.18007
Reviewer: Hirokazu Nishimura (Tsukuba)
Geometric morphisms between toposes of monoid actions: factorization systems. (English) Zbl 1535.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Quotient toposes of discrete dynamical systems. (English) Zbl 1541.18010
Reviewer: Ali Madanshekaf (Semnan)
On some categories of structured sets. (English) Zbl 1540.18002
Reviewer: Jose Avila (Cali)
A model for the higher category of higher categories. (English) Zbl 1533.18021
Reviewer: Hirokazu Nishimura (Tsukuba)
Nonstandard proof methods in toposes. (English) Zbl 07815140
Reviewer: Hirokazu Nishimura (Tsukuba)
An analogue of Stone duality via support. (English) Zbl 1531.18009
Reviewer: Hirokazu Nishimura (Tsukuba)
MSC:
18F70
Diffeological coarse moduli spaces of stacks over manifolds. (English) Zbl 1533.58007
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, 161-178 (2024).
Idempotent completions of \(n\)-exangulated categories. (English) Zbl 1535.18016
Reviewer: Xiao-Wu Chen (Hefei)
Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies. (English) Zbl 1523.18008
Reviewer: Hirokazu Nishimura (Tsukuba) (MR4612709)
Dependent optics. (English) Zbl 07813626
Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 128-144 (2023).
Fuzzy presheaves are quasitoposes. (English) Zbl 07787533
Fernández, Maribel (ed.) et al., Graph transformation. 16th international conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19–20, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13961, 102-122 (2023).
Termination of graph transformation systems using weighted subgraph counting. (English) Zbl 07787532
Fernández, Maribel (ed.) et al., Graph transformation. 16th international conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19–20, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13961, 81-101 (2023).
Homotopy sheaves on generalised spaces. (English) Zbl 1539.18009
Reviewer: Hirokazu Nishimura (Tsukuba)
A study of algebraic structures and logics based on categories of rough sets. (English) Zbl 1540.03111
Peters, James F. (ed.) et al., Transactions on Rough Sets XXIII. Berlin: Springer. Lect. Notes Comput. Sci. 13610, 288-507 (2023).
Posets for which Verdier duality holds. (English) Zbl 1524.18008
Reviewer: Hirokazu Nishimura (Tsukuba)
McKinsey-Tarski algebras: an alternative pointfree approach to topology. (English) Zbl 1525.18013
Reviewer: Joaquín Luna-Torres (Cartagena)
Categorification of a set relation geometry induced by rough operators. (English) Zbl 1523.18002
Reviewer: Hirokazu Nishimura (Tsukuba)
Hopf monads: a survey with new examples and applications. (English) Zbl 1530.18021
Reviewer: Ramón González Rodríguez (Vigo)
A generalization of de Vries duality to closed relations between compact Hausdorff spaces. (English) Zbl 1528.54005
Reviewer: Xiaoquan Xu (Zhangzhou)
Yoneda lemma for simplicial spaces. (English) Zbl 1516.18018
Reviewer: Hirokazu Nishimura (Tsukuba)
Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials. (English) Zbl 1518.05144
Quantum double models coupled to matter fields: a detailed review for a dualization procedure. (English) Zbl 1527.81064
Skew category algebras and modules on ringed finite sites. (English) Zbl 1520.18010
Reviewer: Hirokazu Nishimura (Tsukuba)
Limits, colimits, and spectra of modelled spaces. (English) Zbl 1525.18003
Reviewer: Amit Kuber (Kanpur)
Universal cohomology theories. (English) Zbl 1521.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes. (English) Zbl 1512.68131
Generalized principal bundles and quotient stacks. (English) Zbl 1514.18012
Reviewer: Hirokazu Nishimura (Tsukuba)
The over-topos at a model. (English) Zbl 1512.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Glivenko sequent classes and constructive cut elimination in geometric logics. (English) Zbl 07691802
Approximating triangulated categories by spaces. (English) Zbl 1523.18012
Reviewer: Joanna Ko (Brno)
MSC:
18F99
Additive Grothendieck pretopologies and presentations of tensor categories. (English) Zbl 1511.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Abstract categorical logic. (English) Zbl 1536.03035
Reviewer: Hirokazu Nishimura (Tsukuba)
Comonadic base change for enriched categories. (English) Zbl 1517.18002
Reviewer: Timothy Porter (Llandegfan)
Categories of partial equivalence relations as localizations. (English) Zbl 1514.18004
Reviewer: Hirokazu Nishimura (Tsukuba)
The category \(\mathcal{S} h_{j^I}\mathbf{MSet}\) of sheaves in \(\mathbf{MSet}\). (English) Zbl 1508.18002
Reviewer: Hirokazu Nishimura (Tsukuba)
Algebraic logoi. (English) Zbl 1514.18010
Reviewer: Panagis Karazeris (Pátra)
Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem. (English) Zbl 1535.19001
On the geometry of physical measurements: topological and algebraic aspects. (English) Zbl 1519.81040
A characterization of generalized existential completions. (English) Zbl 1506.18008
Reviewer: Hirokazu Nishimura (Tsukuba)
Localization, monoid sets and \(K\)-theory. (English) Zbl 1507.19005
Reviewer: Do Ngoc Diep (Hanoi)
Constructing initial algebras using inflationary iteration. (English) Zbl 1530.18006
Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 88-102 (2022).
Husserl, intentionality and mathematics: geometry and category theory. (English) Zbl 1519.00007
Boi, Luciano (ed.) et al., When form becomes substance. Power of gestures, diagrammatical intuition and phenomenology of space. Cham: Birkhäuser. 327-357 (2022).
On generators in the category of actions of pomonoids on posets and its slices. (English) Zbl 07706663
Reviewer: Peeter Normak (Tallinn)
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. (English) Zbl 07632520
Fast left Kan extensions using the chase. (English) Zbl 1515.18003
Reviewer: Hirokazu Nishimura (Tsukuba)
Quotients of span categories that are allegories and the representation of regular categories. (English) Zbl 1502.18006
Reviewer: Hirokazu Nishimura (Tsukuba)
A generic construction for crossovers of graph-like structures. (English) Zbl 1514.68335
Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 97-117 (2022).
The stable category of preorders in a pretopos. II: The universal property. (English) Zbl 1503.18004
Reviewer: Hirokazu Nishimura (Tsukuba)
Categorial independence and Lévy processes. (English) Zbl 1498.18020
Reviewer: Hirokazu Nishimura (Tsukuba)
A topos for continuous logic. (English) Zbl 1500.03019
Reviewer: Hirokazu Nishimura (Tsukuba)
Numerable open covers and representability of topological stacks. (English) Zbl 1537.55004
Reviewer: Philippe Gaucher (Paris)
A functorial approach to monomorphism categories for species. I. (English) Zbl 1498.18003
Reviewer: Tiago Cruz (Stuttgart)
The effective model structure and \(\infty\)-groupoid objects. (English) Zbl 1497.18033
Reviewer: Daniel Kasprowski (Bonn)
Locally bounded enriched categories. (English) Zbl 1493.18001
Reviewer: Joaquín Luna-Torres (Cartagena)
General facts on the Scott adjunction. (English) Zbl 1492.18007
Reviewer: Panagis Karazeris (Patras)
Exponentiable Grothendieck categories in flat algebraic geometry. (English) Zbl 1497.14004
Reviewer: Hirokazu Nishimura (Tsukuba)
Monadic vs adjoint decomposition. (English) Zbl 1492.18005
Reviewer: Blas Torrecillas (Almería)
The stable category of preorders in a pretopos. I: General theory. (English) Zbl 1494.18002
Reviewer: Timothy Porter (Llandegfan)
Twisted arrow categories, operads and Segal conditions. (English) Zbl 1484.18008
Reviewer: Hirokazu Nishimura (Tsukuba)
Adjoint maps between implicative semilattices and continuity of localic maps. (English) Zbl 1495.06004
Reviewer: Sergejs Solovjovs (Praha)
The exact completion for regular categories enriched in posets. (English) Zbl 1485.18005
Reviewer: Panagis Karazeris (Patras)
Fibred-categorical obstruction theory. (English) Zbl 1490.18009
Reviewer: Ioan Pop (Iaşi)
Filter Results by …
Document Type
- Journal Articles (436)
- Collection Articles (51)
- Books (1)
all
top 5
Author
- Caramello, Olivia (16)
- Menni, Matías (9)
- Garner, Richard (7)
- Henry, Simon (7)
- Nishimura, Hirokazu (7)
- Spitters, Bas (7)
- Van den Berg, Benno (7)
- Zafiris, Elias (7)
- Isham, Chris J. (6)
- Di Liberti, Ivan (5)
- Döring, Andreas (5)
- Funk, Jonathon R. (5)
- Gambino, Nicola (5)
- Hemelaer, Jens (5)
- Johnstone, Peter T. (5)
- Rasekh, Nima (5)
- Resende, Pedro (5)
- Rogers, Morgan (5)
- Rosický, Jiří (5)
- Streicher, Thomas (5)
- Townsend, Christopher F. (5)
- Awodey, Steve (4)
- Bell, John Lane (4)
- Bezhanishvili, Guram (4)
- Borceux, Francis (4)
- Bourn, Dominique (4)
- Gran, Marino (4)
- Heunen, Chris (4)
- Karazeris, Panagis (4)
- Kudryavtseva, Ganna (4)
- Madanshekaf, Ali (4)
- Palmgren, Erik (4)
- Rosolini, Giuseppe (4)
- Sousa, Lurdes (4)
- Vickers, Steven (4)
- Wißmann, Thorsten (4)
- Adámek, Jiří (3)
- Barbieri Viale, Luca (3)
- Blass, Andreas Raphael (3)
- Butz, Carsten (3)
- Carchedi, David Joseph (3)
- Clementino, Maria Manuel (3)
- Clouston, Ranald A. (3)
- Endrullis, Jörg (3)
- Espíndola, Christian (3)
- Heindel, Tobias (3)
- Hofstra, Pieter J. W. (3)
- Jacobs, Bart (3)
- Kosiol, Jens (3)
- Lack, Stephen (3)
- Lumsdaine, Peter LeFanu (3)
- Mahmoudi, Mojgan (3)
- Maietti, Maria Emilia (3)
- Møgelberg, Rasmus Ejlers (3)
- Moraschini, Tommaso (3)
- Overbeek, Roy (3)
- Pasquali, Fabio (3)
- Pitts, Andrew M. (3)
- Russo, Anna Carla (3)
- Shulman, Michael A. (3)
- Simpson, Alex K. (3)
- Sobociński, Paweł (3)
- Staton, Sam (3)
- Steinberg, Benjamin (3)
- Taentzer, Gabriele (3)
- van der Linden, Tim (3)
- van Oosten, Jaap (3)
- Aravantinos-Sotiropoulos, Vasileios (2)
- Baez, John C. (2)
- Baldan, Paolo (2)
- Beke, Tibor (2)
- Birkedal, Lars (2)
- Bizjak, Aleš (2)
- Campanini, Federico (2)
- Carai, Luca (2)
- Cigoli, Alan S. (2)
- Cockett, J. Robin B. (2)
- Corradini, Andrea (2)
- Crole, Roy L. (2)
- De Marchi, Federico (2)
- Ebrahimi, Mohammad Mehdi (2)
- Emmenegger, Jacopo (2)
- Estrada-González, Luis (2)
- Flori, Cecilia (2)
- Frey, Jonas (2)
- Fritsche, Lars (2)
- Gray, James Richard Andrew (2)
- Grilliette, Will (2)
- Haeusler, Edward Hermann (2)
- Hazratpour, Sina (2)
- Heymans, Hans (2)
- Hoffnung, Alexander E. (2)
- Hora, Ryuya (2)
- Infusino, Federico G. (2)
- Jacqmin, Pierre-Alain (2)
- Janelidze, Zurab (2)
- Jibladze, Mamuka A. (2)
- Karakostas, Vassilios (2)
- Kenney, Toby (2)
- Khanjanzadeh, Zeinab (2)
- and 442 more Authors
all
top 5
Serial
- J. Pure Appl. Algebra (55)
- Appl. Categ. Struct. (41)
- Theory Appl. Categ. (36)
- Ann. Pure Appl. Logic (33)
- Adv. Math. (20)
- J. Symb. Log. (16)
- Int. J. Theor. Phys. (14)
- Math. Struct. Comput. Sci. (13)
- J. Algebra (11)
- J. Math. Phys. (8)
- Fuzzy Sets Syst. (7)
- Synthese (7)
- Theor. Comput. Sci. (7)
- Log. Univers. (7)
- Topology Appl. (6)
- Math. Log. Q. (6)
- Rev. Symb. Log. (6)
- Commun. Algebra (5)
- Commun. Math. Phys. (5)
- Math. Proc. Camb. Philos. Soc. (5)
- J. Geom. Phys. (4)
- Arch. Math. Logic (4)
- Sel. Math., New Ser. (4)
- Log. Methods Comput. Sci. (4)
- Tbil. Math. J. (4)
- Algebra Univers. (3)
- Proc. Am. Math. Soc. (3)
- Stud. Log. (3)
- Trans. Am. Math. Soc. (3)
- Inf. Comput. (3)
- Found. Phys. (3)
- J. Homotopy Relat. Struct. (3)
- J. Log. Algebr. Methods Program. (3)
- Int. J. Gen. Syst. (2)
- J. Comput. Syst. Sci. (2)
- Quaest. Math. (2)
- Semigroup Forum (2)
- Eur. J. Comb. (2)
- J. Autom. Reasoning (2)
- Expo. Math. (2)
- Bull. Symb. Log. (2)
- Ann. Math. Artif. Intell. (2)
- Doc. Math. (2)
- Algebr. Geom. Topol. (2)
- J. Aust. Math. Soc. (2)
- J. Algebra Appl. (2)
- São Paulo J. Math. Sci. (2)
- Forum Math. Sigma (2)
- Categ. Gen. Algebr. Struct. Appl. (2)
- High. Struct. (2)
- Isr. J. Math. (1)
- Math. Methods Appl. Sci. (1)
- Ann. Mat. Pura Appl. (4) (1)
- Appl. Math. Comput. (1)
- Arch. Math. (Brno) (1)
- Bull. Lond. Math. Soc. (1)
- Colloq. Math. (1)
- Compos. Math. (1)
- J. Philos. Log. (1)
- Kyungpook Math. J. (1)
- Manuscr. Math. (1)
- Math. Slovaca (1)
- Mem. Am. Math. Soc. (1)
- Notre Dame J. Formal Logic (1)
- Pac. J. Math. (1)
- Proc. Lond. Math. Soc. (3) (1)
- Rend. Circ. Mat. Palermo (2) (1)
- Rend. Semin. Mat. Fis. Milano (1)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (1)
- Bull. Iran. Math. Soc. (1)
- J. Symb. Comput. (1)
- Discrete Comput. Geom. (1)
- Int. J. Approx. Reasoning (1)
- Linear Algebra Appl. (1)
- Indag. Math., New Ser. (1)
- J. Algebr. Comb. (1)
- Turk. J. Math. (1)
- Filomat (1)
- J. Eur. Math. Soc. (JEMS) (1)
- Commun. Contemp. Math. (1)
- J. Math. Log. (1)
- Log. Log. Philos. (1)
- Cah. Topol. Géom. Différ. Catég. (1)
- Cent. Eur. J. Math. (1)
- J. Appl. Log. (1)
- Int. J. Geom. Methods Mod. Phys. (1)
- Int. J. Quantum Inf. (1)
- SIGMA, Symmetry Integrability Geom. Methods Appl. (1)
- J. Math. Music (1)
- Algebra Number Theory (1)
- Oper. Matrices (1)
- J. Topol. (1)
- Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. (1)
- Eurasian Math. J. (1)
- Axiomathes (1)
- Axioms (1)
- Int. J. Anal. Appl. (1)
- J. Linear Topol. Algebra (1)
- Nonlinear Anal., Theory Methods Appl. (1)
- Eur. J. Math. (1)
- and 1 more Serials
all
top 5
Year of Publication
- 2025 (1)
- 2024 (34)
- 2023 (37)
- 2022 (30)
- 2021 (48)
- 2020 (39)
- 2019 (33)
- 2018 (27)
- 2017 (31)
- 2016 (12)
- 2015 (24)
- 2014 (18)
- 2013 (17)
- 2012 (19)
- 2011 (13)
- 2010 (13)
- 2009 (17)
- 2008 (8)
- 2007 (11)
- 2006 (12)
- 2005 (3)
- 2004 (9)
- 2001 (2)
- 2000 (1)
- 1999 (2)
- 1997 (4)
- 1996 (5)
- 1995 (5)
- 1993 (2)
- 1992 (1)
- 1991 (1)
- 1989 (1)
- 1986 (2)
- 1984 (3)
- 1982 (2)
- 1981 (1)
all
top 3
Main Field
- 18-XX (488)
- 03-XX (209)
- 06-XX (87)
- 68-XX (46)
- 81-XX (45)
- 55-XX (42)
- 54-XX (41)
- 20-XX (34)
- 14-XX (33)
- 16-XX (19)
- 08-XX (18)
- 46-XX (16)
- 22-XX (15)
- 00-XX (14)
- 05-XX (14)
- 58-XX (12)
- 53-XX (9)
- 19-XX (6)
- 37-XX (4)
- 13-XX (3)
- 17-XX (3)
- 47-XX (3)
- 57-XX (3)
- 01-XX (2)
- 26-XX (2)
- 28-XX (2)
- 51-XX (2)
- 70-XX (2)
- 83-XX (2)
- 90-XX (2)
- 15-XX (1)
- 30-XX (1)
- 52-XX (1)
- 60-XX (1)
- 78-XX (1)
- 82-XX (1)
- 91-XX (1)
- 93-XX (1)
- 94-XX (1)
all
top 3
Software
- cubicaltt (4)
- AGREE (2)
- Automath (2)
- Coq (2)
- DisCoPy (2)
- GitHub (2)
- MathOverflow (2)
- MiniML (2)
- Agda (1)
- CAP (1)
- CC-Pi (1)
- CryptHOL (1)
- GAP (1)
- GNUC (1)
- GeneralizedMorphismsForCAP (1)
- Globular (1)
- Grez (1)
- HOL (1)
- HOPLA (1)
- HoTT (1)
- JAX (1)
- JoCaml (1)
- Jupyter (1)
- KRIPKE (1)
- LinearAlgebraForCAP (1)
- ML (1)
- Matplotlib (1)
- ModulePresentationsForCAP (1)
- NetworkX (1)
- NumPy (1)
- OEIS (1)
- Pesca (1)
- PlusCal (1)
- PoplMark (1)
- PyZX (1)
- Quantomatic (1)
- ROSCoq (1)
- SINGULAR (1)
- TeNPy (1)
- TensorLy (1)
- TensorNetwork (1)
- TikZ (1)
- UMDES (1)
- Ynot (1)
- dReach (1)
- lens (1)
- pytket (1)
