Porter, Tim; Stasheff, Jim Representations up to coherent homotopy. (English) Zbl 1523.55020 J. Geom. Phys. 193, Article ID 104966, 15 p. (2023). Reviewer: Philippe Gaucher (Paris) MSC: 55U35 55-02 PDFBibTeX XMLCite \textit{T. Porter} and \textit{J. Stasheff}, J. Geom. Phys. 193, Article ID 104966, 15 p. (2023; Zbl 1523.55020) Full Text: DOI arXiv
Carrasco, P.; Porter, T. Coproduct of 2-crossed modules: applications to a definition of a tensor product for 2-crossed complexes. (English) Zbl 1348.18008 Collect. Math. 67, No. 3, 485-517 (2016). Reviewer: Philippe Gaucher (Paris) MSC: 18D05 18D10 18G30 55U10 55P15 PDFBibTeX XMLCite \textit{P. Carrasco} and \textit{T. Porter}, Collect. Math. 67, No. 3, 485--517 (2016; Zbl 1348.18008) Full Text: DOI
Porter, Timothy Variations on a theme of homotopy. (English. French summary) Zbl 1295.55001 Ann. Fac. Sci. Toulouse, Math. (6) 22, No. 5, 1045-1089 (2013). Reviewer: Friedrich Wilhelm Bauer (Frankfurt am Main) MSC: 55-02 55-03 01A60 55P99 55U99 55P55 PDFBibTeX XMLCite \textit{T. Porter}, Ann. Fac. Sci. Toulouse, Math. (6) 22, No. 5, 1045--1089 (2013; Zbl 1295.55001) Full Text: DOI Link
Porter, Timothy Book review of: V. Turaev, Homotopy quantum field theory. (English) Zbl 1321.00059 Bull. Am. Math. Soc., New Ser. 49, No. 2, 337-345 (2012). MSC: 00A17 81-02 57R56 81T45 57M27 18D10 55P20 53D45 57M60 PDFBibTeX XMLCite \textit{T. Porter}, Bull. Am. Math. Soc., New Ser. 49, No. 2, 337--345 (2012; Zbl 1321.00059) Full Text: DOI
Porter, Timothy Enriched categories and models for spaces of evolving states. (English) Zbl 1148.18004 Theor. Comput. Sci. 405, No. 1-2, 88-100 (2008). MSC: 18D20 68Q85 55U10 18B20 18G55 18G30 PDFBibTeX XMLCite \textit{T. Porter}, Theor. Comput. Sci. 405, No. 1--2, 88--100 (2008; Zbl 1148.18004) Full Text: DOI
Ehlers, Philip John; Porter, Timothy Ordinal subdivision and special pasting in quasicategories. (English) Zbl 1129.18003 Adv. Math. 217, No. 2, 489-518 (2008). Reviewer: Philippe Gaucher (Paris) MSC: 18G30 55U10 18D05 55P35 PDFBibTeX XMLCite \textit{P. J. Ehlers} and \textit{T. Porter}, Adv. Math. 217, No. 2, 489--518 (2008; Zbl 1129.18003) Full Text: DOI
Donadze, Guram; Inassaridze, Nick; Porter, Timothy \(N\)-fold Čech derived functors and generalised Hopf type formulas. (English) Zbl 1101.18008 \(K\)-Theory 35, No. 3-4, 341-373 (2005). Reviewer: Georges Hoff (Villetaneuse) MSC: 18G50 18G10 19D99 PDFBibTeX XMLCite \textit{G. Donadze} et al., \(K\)-Theory 35, No. 3--4, 341--373 (2005; Zbl 1101.18008) Full Text: DOI arXiv
Porter, Timothy Interpreted systems and Kripke models for multiagent systems from a categorical perspective. (English) Zbl 1078.68146 Theor. Comput. Sci. 323, No. 1-3, 235-266 (2004). MSC: 68T30 68T01 03B42 PDFBibTeX XMLCite \textit{T. Porter}, Theor. Comput. Sci. 323, No. 1--3, 235--266 (2004; Zbl 1078.68146) Full Text: DOI
Mutlu, A.; Porter, T. Free crossed resolutions from simplicial resolutions with given CW-basis. (English) Zbl 0947.18007 Cah. Topologie Géom. Différ. Catég. 40, No. 4, 261-283 (1999). Reviewer: Marek Golasiński (Toruń) MSC: 18G10 55U10 18G50 PDFBibTeX XMLCite \textit{A. Mutlu} and \textit{T. Porter}, Cah. Topologie Géom. Différ. Catégoriques 40, No. 4, 261--283 (1999; Zbl 0947.18007) Full Text: Numdam EuDML
Ehlers, Philip John; Porter, Timothy Erratum to: “Varieties of simplicial groupoids. I: Crossed complexes”. (English) Zbl 0922.55006 J. Pure Appl. Algebra 134, No. 2, 207-209 (1999). MSC: 55P15 18G30 18G55 55U35 PDFBibTeX XMLCite \textit{P. J. Ehlers} and \textit{T. Porter}, J. Pure Appl. Algebra 134, No. 2, 207--209 (1999; Zbl 0922.55006) Full Text: DOI
Cordier, Jean-Marc; Porter, Timothy Homotopy coherent category theory. (English) Zbl 0865.18006 Trans. Am. Math. Soc. 349, No. 1, 1-54 (1997). MSC: 18D20 18G30 18D05 18A30 18G10 18A40 PDFBibTeX XMLCite \textit{J.-M. Cordier} and \textit{T. Porter}, Trans. Am. Math. Soc. 349, No. 1, 1--54 (1997; Zbl 0865.18006) Full Text: DOI
Ehlers, P. J.; Porter, T. Varieties of simplicial groupoids. I: Crossed complexes. (English) Zbl 0888.55005 J. Pure Appl. Algebra 120, No. 3, 221-233 (1997). Reviewer: K.H.Kamps (Hagen) MSC: 55P15 55U35 18G30 18G55 PDFBibTeX XMLCite \textit{P. J. Ehlers} and \textit{T. Porter}, J. Pure Appl. Algebra 120, No. 3, 221--233 (1997; Zbl 0888.55005) Full Text: DOI
Brown, R.; Golasiński, M.; Porter, T.; Tonks, A. Spaces of maps into classifying spaces for equivariant crossed complexes. (English) Zbl 0898.55009 Indag. Math., New Ser. 8, No. 2, 157-172 (1997). Reviewer: R.J.Steiner (Glasgow) MSC: 55P91 20L05 55U15 PDFBibTeX XMLCite \textit{R. Brown} et al., Indag. Math., New Ser. 8, No. 2, 157--172 (1997; Zbl 0898.55009) Full Text: DOI
Cordier, Jean-Marc; Porter, Timothy Categorical aspects of equivariant homotopy. (English) Zbl 0855.18009 Appl. Categ. Struct. 4, No. 2-3, 195-212 (1996). Reviewer: M.Golasiński (Toruń) MSC: 18D20 55P91 18G55 PDFBibTeX XMLCite \textit{J.-M. Cordier} and \textit{T. Porter}, Appl. Categ. Struct. 4, No. 2--3, 195--212 (1996; Zbl 0855.18009) Full Text: DOI
Porter, Timothy Categorical shape theory as a formal language for pattern recognition? (English) Zbl 0855.68082 Ann. Math. Artif. Intell. 10, No. 1-2, 25-54 (1994). MSC: 68T10 68Q45 PDFBibTeX XMLCite \textit{T. Porter}, Ann. Math. Artif. Intell. 10, No. 1--2, 25--54 (1994; Zbl 0855.68082) Full Text: DOI
Hernández, Luis Javier; Porter, Timothy An embedding theorem for proper \(n\)-types. (English) Zbl 0767.55007 Topology Appl. 48, No. 3, 215-233 (1992). Reviewer: M.Golasiński (Toruń) MSC: 55P15 55P99 55P55 PDFBibTeX XMLCite \textit{L. J. Hernández} and \textit{T. Porter}, Topology Appl. 48, No. 3, 215--233 (1992; Zbl 0767.55007) Full Text: DOI
Hardie, K. A.; Kamps, K. H.; Porter, T. The coherent homotopy category over a fixed space is a category of fractions. (English) Zbl 0751.55010 Topology Appl. 40, No. 3, 265-274 (1991). Reviewer: Friedrich Wilhelm Bauer (Frankfurt am Main) MSC: 55P99 55P10 55U35 18D05 PDFBibTeX XMLCite \textit{K. A. Hardie} et al., Topology Appl. 40, No. 3, 265--274 (1991; Zbl 0751.55010) Full Text: DOI
Korkes, F. J.; Porter, T. Nilpotent crossed modules and pro-C completions. (English) Zbl 0729.55007 Cah. Topologie Géom. Différ. Catég. 31, No. 4, 277-282 (1990). Reviewer: R.Brown (Bangor) MSC: 55P15 55P60 PDFBibTeX XMLCite \textit{F. J. Korkes} and \textit{T. Porter}, Cah. Topologie Géom. Différ. Catégoriques 31, No. 4, 277--282 (1990; Zbl 0729.55007) Full Text: Numdam EuDML
Kamps, K. H.; Porter, T. Note on bridging theorems for semisimplicial sets. (English) Zbl 0726.55004 Quaest. Math. 13, No. 3-4, 349-360 (1990). Reviewer: R.Brown (Bangor) MSC: 55P10 18G30 55U35 PDFBibTeX XMLCite \textit{K. H. Kamps} and \textit{T. Porter}, Quaest. Math. 13, No. 3--4, 349--360 (1990; Zbl 0726.55004) Full Text: DOI
Cordier, J.-M.; Porter, T. Fibrant diagrams, rectifications and a construction of Loday. (English) Zbl 0715.55012 J. Pure Appl. Algebra 67, No. 2, 111-124 (1990). Reviewer: M.Golasiński MSC: 55U10 18D20 18G30 PDFBibTeX XMLCite \textit{J. M. Cordier} and \textit{T. Porter}, J. Pure Appl. Algebra 67, No. 2, 111--124 (1990; Zbl 0715.55012) Full Text: DOI
Hernandez, L. J.; Porter, T. Global analogues of the Brown-Grossman proper homotopy groups of an end. (English) Zbl 0669.55009 Math. Proc. Camb. Philos. Soc. 104, No. 3, 483-496 (1988). Reviewer: S.Singh MSC: 55Q70 57N65 55Q07 55Q05 55P55 PDFBibTeX XMLCite \textit{L. J. Hernandez} and \textit{T. Porter}, Math. Proc. Camb. Philos. Soc. 104, No. 3, 483--496 (1988; Zbl 0669.55009) Full Text: DOI
Hernandez, Luis J.; Porter, Timothy Proper pointed maps from \({\mathbb{R}}^{n+1}\) to a \(\sigma\)-compact space. (English) Zbl 0669.55008 Math. Proc. Camb. Philos. Soc. 103, No. 3, 457-462 (1988). Reviewer: S.Singh MSC: 55Q70 55Q07 55N07 55Q05 55P55 PDFBibTeX XMLCite \textit{L. J. Hernandez} and \textit{T. Porter}, Math. Proc. Camb. Philos. Soc. 103, No. 3, 457--462 (1988; Zbl 0669.55008) Full Text: DOI
Cordier, Jean Marc; Porter, Timothy Maps between homotopy coherent diagrams. (English) Zbl 0655.55008 Topology Appl. 28, No. 3, 255-275 (1988). Reviewer: R.Vogt MSC: 55P99 55U35 57S17 55U10 55P91 18G55 PDFBibTeX XMLCite \textit{J. M. Cordier} and \textit{T. Porter}, Topology Appl. 28, No. 3, 255--275 (1988; Zbl 0655.55008) Full Text: DOI
Porter, Timothy Erratum to: Some categorical results in the theory of crossed modules in commutative algebras. (English) Zbl 0652.16028 J. Algebra 116, No. 2, 522-523 (1988). MSC: 16B50 18A40 18G35 PDFBibTeX XMLCite \textit{T. Porter}, J. Algebra 116, No. 2, 522--523 (1988; Zbl 0652.16028) Full Text: DOI
Porter, Timothy On the two definitions of Ho(pro C). (English) Zbl 0647.18008 Topology Appl. 28, No. 3, 289-293 (1988). Reviewer: K.H.Kamps MSC: 18G55 55U35 55P55 PDFBibTeX XMLCite \textit{T. Porter}, Topology Appl. 28, No. 3, 289--293 (1988; Zbl 0647.18008) Full Text: DOI
Porter, Timothy Some categorical results in the theory of crossed modules in commutative algebras. (English) Zbl 0619.16033 J. Algebra 109, 415-429 (1987). Reviewer: L.Bican MSC: 16B50 18A40 PDFBibTeX XMLCite \textit{T. Porter}, J. Algebra 109, 415--429 (1987; Zbl 0619.16033) Full Text: DOI
Porter, T. Extensions, crossed modules and internal categories in categories of groups with operations. (English) Zbl 0595.18006 Proc. Edinb. Math. Soc., II. Ser. 30, 373-381 (1987). MSC: 18G55 20N99 55U35 18D35 18C05 PDFBibTeX XMLCite \textit{T. Porter}, Proc. Edinb. Math. Soc., II. Ser. 30, 373--381 (1987; Zbl 0595.18006) Full Text: DOI
Cordier, Jean-Marc; Porter, Timothy Vogt’s theorem on categories of homotopy coherent diagrams. (English) Zbl 0603.55017 Math. Proc. Camb. Philos. Soc. 100, 65-90 (1986). Reviewer: M.Golasiński MSC: 55U35 55U10 18D20 18B30 18G30 PDFBibTeX XMLCite \textit{J.-M. Cordier} and \textit{T. Porter}, Math. Proc. Camb. Philos. Soc. 100, 65--90 (1986; Zbl 0603.55017) Full Text: DOI
Porter, Timothy The derived functors of lim and protorsion modules. (English) Zbl 0519.16027 Cah. Topol. Géom. Différ. 24, 115-131 (1983). MSC: 16B50 16P60 18G10 16D80 PDFBibTeX XMLCite \textit{T. Porter}, Cah. Topologie Géom. Différ. Catégoriques 24, 115--131 (1983; Zbl 0519.16027) Full Text: Numdam EuDML
Cordier, Jean-Marc; Porter, Timothy Functors between shape categories. (English) Zbl 0511.18013 J. Pure Appl. Algebra 27, 1-13 (1983). MSC: 18D20 18C20 55P55 18A40 18D15 PDFBibTeX XMLCite \textit{J.-M. Cordier} and \textit{T. Porter}, J. Pure Appl. Algebra 27, 1--13 (1983; Zbl 0511.18013) Full Text: DOI
Porter, Timothy Reduced powers, ultrapowers and exactness of limits. (English) Zbl 0506.18006 J. Pure Appl. Algebra 26, 325-330 (1982). MSC: 18G10 18A30 16D50 PDFBibTeX XMLCite \textit{T. Porter}, J. Pure Appl. Algebra 26, 325--330 (1982; Zbl 0506.18006) Full Text: DOI
Porter, Timothy Cech and Steenrod homotopy and the Quigley exact couple in strong shape and proper homotopy theory. (English) Zbl 0485.55009 J. Pure Appl. Algebra 24, 303-312 (1982). MSC: 55P55 55Q07 55N07 55T05 PDFBibTeX XMLCite \textit{T. Porter}, J. Pure Appl. Algebra 24, 303--312 (1982; Zbl 0485.55009) Full Text: DOI
Porter, Timothy Essential properties of pro-objects in Grothendieck categories. (English) Zbl 0414.18006 Cah. Topol. Géom. Différ. 20, 3-57 (1979). MSC: 18E35 18E40 18E25 18C15 16P40 PDFBibTeX XMLCite \textit{T. Porter}, Cah. Topologie Géom. Différ. Catégoriques 20, 3--57 (1979; Zbl 0414.18006) Full Text: Numdam EuDML
Porter, Timothy Coherent prohomotopy theory. (English) Zbl 0387.55013 Cah. Topol. Géom. Différ. 19, 3-46 (1978). MSC: 55S35 18G30 55N05 55Q99 55U99 PDFBibTeX XMLCite \textit{T. Porter}, Cah. Topologie Géom. Différ. Catégoriques 19, 3--46 (1978; Zbl 0387.55013) Full Text: Numdam EuDML
Porter, Timothy Coherent prohomotopical algebra. (English) Zbl 0364.18009 Cah. Topol. Géom. Différ. 18, 139-179 (1977). MSC: 18G35 18G30 18E99 55N05 55Q99 PDFBibTeX XMLCite \textit{T. Porter}, Cah. Topologie Géom. Différ. Catégoriques 18, 139--179 (1977; Zbl 0364.18009) Full Text: Numdam EuDML
Porter, Timothy Abstract homotopy theory in procategories. (English) Zbl 0349.18012 Cah. Topol. Géom. Différ. 17, 113-124 (1976). MSC: 18G99 55P99 55N05 55U99 PDFBibTeX XMLCite \textit{T. Porter}, Cah. Topologie Géom. Différ. Catégoriques 17, 113--124 (1976; Zbl 0349.18012) Full Text: Numdam EuDML
Porter, T. Stability of algebraic inverse systems. II: Purity and localization. (English) Zbl 0325.18009 J. pure appl. Algebra 7, 133-143 (1976). MSC: 18E25 18E35 18E40 16P50 16Exx PDFBibTeX XMLCite \textit{T. Porter}, J. Pure Appl. Algebra 7, 133--143 (1976; Zbl 0325.18009) Full Text: DOI
Porter, Tim Obstructions in shape theory. (English) Zbl 0284.55018 Bull. Am. Math. Soc. 79(1973), 1206-1209 (1974). MSC: 55P99 55S35 55N05 PDFBibTeX XMLCite \textit{T. Porter}, Bull. Am. Math. Soc. 79, 1206--1209 (1974; Zbl 0284.55018) Full Text: DOI
Porter, Timothy Stability results for topological spaces. (English) Zbl 0275.55022 Math. Z. 140, 1-21 (1974). MSC: 55P99 55N05 55Q05 18A30 PDFBibTeX XMLCite \textit{T. Porter}, Math. Z. 140, 1--21 (1974; Zbl 0275.55022) Full Text: DOI EuDML